Type_generic.Variant_and_record_intf
module M = Variant_and_record_intf.M
module type S = sig ... end