pub fn convert_model_partial_struct_type(
env: &GlobalEnv,
module_id: ModuleId,
struct_id: StructId,
ty_args: &[Type]
) -> PartialStructInstantiation
pub fn convert_model_partial_struct_type(
env: &GlobalEnv,
module_id: ModuleId,
struct_id: StructId,
ty_args: &[Type]
) -> PartialStructInstantiation