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