Module Nodeid_context

module Nodeid_context: sig .. end

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