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 and t_of_sexp use the flag names supplied to Flags.Make.

type t

include Comparable.S

consistent with subset

val of_int : int -> t

val to_int_exn : t -> int

val empty : t

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

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

val intersect : t -> t -> t

val complement : t -> t

val is_empty : t -> bool

val do_intersect : t -> t -> bool

val are_disjoint : t -> t -> bool

val t_of_sexp : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

consistent with subset