Type_generic.Variant_and_record_intf
Place holder for common Variants and Fields interface
module M (X : sig ... end) : sig ... end
module type S = sig ... end