Module Flags_intf

module Flags_intf: sig .. end

include Core_kernel.Flags_intf