Function extract

Given a variable name, a variable type, and a map from delimited names (e.g., "x", "x.0", "x.field_name") to values computes a [T] (of the given type) that contains only constants. These constants are extracted from the map

(
    name: &str,
    ty: &Ty,
    scalar_input_values: &mut HashMap<String, Value>,
)