Function gluon_base::types::remove_forall

pub fn remove_forall<'a, Id, T>(typ: &'a T) -> &'a T where
    T: TypePtr<Id = Id>,
    Id: 'a,