Function gluon_base::types::remove_forall
source · pub fn remove_forall<'a, Id, T>(typ: &'a T) -> &'a Twhere
T: TypePtr<Id = Id>,
Id: 'a,
pub fn remove_forall<'a, Id, T>(typ: &'a T) -> &'a Twhere
T: TypePtr<Id = Id>,
Id: 'a,