sig
  type t
  val compare : t -> t -> int
  val equal : t -> t -> bool
  val hash : t -> int
  val to_string : t -> string
  val pp : Format.formatter -> t -> unit
  val parse : (Sl_term.t * int, 'a) MParser.parser
  val to_melt : t -> Latex.t
  val to_string_list : t -> string list
  val empty : t
  val is_empty : t -> bool
  val find : Sl_term.t -> t -> int
  val add : Sl_term.t -> int -> t -> t
  val union : t -> t -> t
  val fold : (Sl_term.t -> int -> 'a -> 'a) -> t -> 'a -> 'a
  val for_all : (Sl_term.t -> int -> bool) -> t -> bool
  val diff : t -> t -> t
  val bindings : t -> (Sl_term.t * int) list
  val of_list : (Sl_term.t * int) list -> t
  val subst : Sl_subst.t -> t -> t
  val terms : t -> Sl_term.Set.t
  val vars : t -> Sl_term.Set.t
  val equates : t -> Sl_term.t -> int -> bool
  val subsumed : t -> t -> bool
end