Flags__.Flags_intf
module type S = sig ... end
module type S is the interface for a set of flags. Values of type t are set of flags, and the various functions operate on sets of flags. There is a finite universe of flags (in particular 63 flags, one for each bit).
module type S
type t
module type Make_arg = sig ... end
module type Flags = sig ... end