Module Subtyping
val check_subtypes : 'a Reduction.universe_state -> Environ.env -> Declarations.module_type_body -> Declarations.module_type_body -> 'a
Subtypingval check_subtypes : 'a Reduction.universe_state -> Environ.env -> Declarations.module_type_body -> Declarations.module_type_body -> 'a