sig
  val galax_implemid : Nodeid.implemid
  type galax_nodeid = Nodeid.prepostint_docorder
  val new_docid : unit -> Nodeid.docid
  type galax_nodeid_gen
  val build_galax_nodeid_gen :
    Nodeid_context.nodeid_context -> Galax_nodeid.galax_nodeid_gen
  val build_galax_nodeid_gen_for_docid :
    Nodeid_context.nodeid_context ->
    Nodeid.docid -> Galax_nodeid.galax_nodeid_gen
  val new_galax_pre : Galax_nodeid.galax_nodeid_gen -> Nodeid.preorder
  val new_galax_nodeid :
    Galax_nodeid.galax_nodeid_gen ->
    Nodeid.preorder -> Nodeid.postorder -> Galax_nodeid.galax_nodeid
  val new_galax_leaf_nodeid :
    Galax_nodeid.galax_nodeid_gen -> Galax_nodeid.galax_nodeid
end