Subtyping
val check_subtypes : ('a, UGraph.univ_inconsistency) Conversion.universe_state -> Environ.env -> Names.ModPath.t -> Mod_declarations.module_type_body -> Names.ModPath.t -> Mod_declarations.module_type_body -> 'a