sig
  type t
  val equal : Sigs.SEQUENT.t -> Sigs.SEQUENT.t -> bool
  val equal_upto_tags : Sigs.SEQUENT.t -> Sigs.SEQUENT.t -> bool
  val tags : Sigs.SEQUENT.t -> Tags.t
  val to_string : Sigs.SEQUENT.t -> string
  val to_melt : Sigs.SEQUENT.t -> Latex.t
  val pp : Format.formatter -> Sigs.SEQUENT.t -> unit
end