sig
  type t
  val empty : BasicSetEquations.SetType.t
  val union :
    BasicSetEquations.SetType.t ->
    BasicSetEquations.SetType.t -> BasicSetEquations.SetType.t
  val inter :
    BasicSetEquations.SetType.t ->
    BasicSetEquations.SetType.t -> BasicSetEquations.SetType.t
  val diff :
    BasicSetEquations.SetType.t ->
    BasicSetEquations.SetType.t -> BasicSetEquations.SetType.t
  val is_empty : BasicSetEquations.SetType.t -> bool
  val equal :
    BasicSetEquations.SetType.t -> BasicSetEquations.SetType.t -> bool
  val print : BasicSetEquations.SetType.t -> string
end