Module type Flags_intf.S

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).

sexp_of_t uses the flag names supplied to Flags.Make

type t

val of_int : int -> t

val to_int_exn : t -> int

val equal : t -> t -> bool

val empty : t

val (+) : t -> t -> t

val (-) : t -> t -> t

val intersect : t -> t -> t

val complement : t -> t

val do_intersect : t -> t -> bool

val are_disjoint : t -> t -> bool

val sexp_of_t : t -> Sexplib.Sexp.t