Function bytecode_interpreter::concrete::ty::convert_model_struct_type

pub fn convert_model_struct_type(
    env: &GlobalEnv,
    module_id: ModuleId,
    struct_id: StructId,
    ty_args: &[Type],
    subst: &[BaseType]
) -> StructInstantiation