Up
Module
Type_generic_intf
Signature
module
M
(
X
: sig .. end) : sig .. end
module type
S
= sig .. end