Module type Variant_and_record_intf.S

module type S = sig .. end

type 'a t 
include ??