Module Subtyping
val check_subtypes : Environ.env -> Declarations.module_type_body -> Declarations.module_type_body -> Univ.Constraint.t
Subtypingval check_subtypes : Environ.env -> Declarations.module_type_body -> Declarations.module_type_body -> Univ.Constraint.t