Module Three

module Three: sig  end

val is_sub : t -> t -> bool

val inter : t -> t -> t option

val union : t -> t -> t

val is_disjoint : t -> t -> bool

val pp : Format.formatter -> t -> unit