sig
  type t = Sl_form.t * Sl_form.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 equal_upto_tags : t -> t -> bool
  val dest :
    t -> (Ord_constraints.t * Sl_heap.t) * (Ord_constraints.t * Sl_heap.t)
  val parse : ?null_is_emp:bool -> (t, 'a) MParser.t
  val of_string : ?null_is_emp:bool -> string -> t
  val to_melt : t -> Latex.t
  val vars : t -> Sl_term.Set.t
  val tags : t -> Tags.t
  val tag_pairs : t -> Tagpairs.t
  val get_tracepairs : t -> t -> Tagpairs.t * Tagpairs.t
  val subst_tags : Tagpairs.t -> t -> t
  val subst : Sl_subst.t -> t -> t
  val subsumed : t -> t -> bool
  val subsumed_upto_tags : t -> t -> bool
  val norm : t -> t
end