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