Bap_c_type_mapper_intf
module type S = sig ... end
Type mapper, visitor, iterator, finder all in one.