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