module Node:sig
..end
type
t
module Map:Qed.Idxmap.S
with type key = t
module Set:Qed.Idxset.S
with type elt = t
module Hashtbl:Hashtbl.S
with type key = t
val pp : Format.formatter -> t -> unit
val create : unit -> t
val equal : t -> t -> bool