functor (Set : SetType) ->
  sig
    type term
    val variable : Set.t -> BasicSetEquations.Make.term
    val svariable : unit -> BasicSetEquations.Make.term
    val empty : BasicSetEquations.Make.term
    val sum :
      Set.t -> BasicSetEquations.Make.term -> BasicSetEquations.Make.term
    val unify :
      BasicSetEquations.Make.term -> BasicSetEquations.Make.term -> unit
    exception Error
    val print : BasicSetEquations.Make.term -> string
  end