functor (M : Make_arg) ->
  sig
    type t = 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 is_empty : t -> bool
    val do_intersect : t -> t -> bool
    val are_disjoint : t -> t -> bool
    val sexp_of_t : t -> Sexplib.Sexp.t
  end