Function bytecode_interpreter::concrete::ty::convert_model_local_type
source · pub fn convert_model_local_type(
env: &GlobalEnv,
ty: &Type,
subst: &[BaseType]
) -> Type
pub fn convert_model_local_type(
env: &GlobalEnv,
ty: &Type,
subst: &[BaseType]
) -> Type