sig
  module type Make_arg = Flags_intf.Make_arg
  module type S = Flags_intf.S
  module Make :
    functor (M : Make_arg) ->
      sig
        type t = Flags_intf.Int63.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
      end
end