gluon_base::types
pub fn walk_type<'a, I, T, F>(typ: &'a T, f: F) where F: Walker<'a, T>, T: Deref<Target = Type<I, T>> + 'a, I: 'a,