module Variant_and_record_intf: module type of Variant_and_record_intf
module type of Variant_and_record_intf