sig
  type nodeid_context
  val build_nodeid_context : int -> int -> Nodeid_context.nodeid_context
  val default_nodeid_context : unit -> Nodeid_context.nodeid_context
  val new_pre : Nodeid_context.nodeid_context -> Nodeid.preorder
  val new_post : Nodeid_context.nodeid_context -> Nodeid.postorder
  val new_leaf_pre_post :
    Nodeid_context.nodeid_context -> Nodeid.preorder * Nodeid.postorder
end