functor (Seq : Sigs.SEQUENT) ->
  sig
    type t
    type seq_t = Seq.t
    val mk_open : seq_t -> t
    val mk_axiom : seq_t -> string -> t
    val mk_backlink : seq_t -> string -> int -> Tagpairs.t -> t
    val mk_inf : seq_t -> string -> (int * Tagpairs.t * Tagpairs.t) list -> t
    val dest : t -> seq_t * string
    val dest_backlink : t -> seq_t * string * int * Tagpairs.t
    val dest_inf : t -> seq_t * string * (int * Tagpairs.t * Tagpairs.t) list
    val is_open : t -> bool
    val is_axiom : t -> bool
    val is_backlink : t -> bool
    val is_inf : t -> bool
    val get_seq : t -> seq_t
    val get_succs : t -> int list
    val to_abstract_node : t -> Soundcheck.abstract_node
    val pp : Format.formatter -> t -> unit
    val to_melt : bool -> int -> t -> (bool -> int -> Latex.t) -> Latex.t
  end