[−][src]Function gluon_base::types::translate_type
pub fn translate_type<Id, T, U>(
interner: &mut impl TypeContext<Id, U>,
arc_type: &T
) -> U where
T: TypePtr<Id = Id>,
U: TypePtr<Id = Id>,
Id: Clone,
T::SpannedId: Into<U::SpannedId>,
T::SpannedId: Clone,