sig
  module Make :
    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
end