Up

module Cset

: sig
#
type c = int
#
type t = (c * c) list
#
val union : t -> t -> t
#
val inter : t -> t -> t
#
val diff : t -> t -> t
#
val offset : int -> t -> t
#
val empty : t
#
val single : c -> t
#
val seq : c -> c -> t
#
val add : c -> t -> t
#
val mem : c -> t -> bool
#
type hash
#
val hash : t -> hash
#
module Map : Map.S with type key = hash * t
#
val print : Format.formatter -> t -> unit
end