Function bytecode_interpreter::concrete::ty::convert_model_base_type

pub fn convert_model_base_type(
    env: &GlobalEnv,
    ty: &Type,
    subst: &[BaseType]
) -> BaseType