Function bytecode_interpreter::concrete::ty::convert_model_partial_base_type
source · pub fn convert_model_partial_base_type(
env: &GlobalEnv,
ty: &Type
) -> PartialBaseType
pub fn convert_model_partial_base_type(
env: &GlobalEnv,
ty: &Type
) -> PartialBaseType