Typerep_lib.Variant_and_record_intf
module M : functor (X : sig ... end) -> sig ... end
module type S = sig ... end