/usr/lib/ocaml/galax/galax_nodeid.mli is in libgalax-ocaml-dev 1.1-12.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: galax_nodeid.mli,v 1.7 2007/02/01 22:08:46 simeon Exp $ *)
(* Module: Galax_nodeid
Description:
This module implements specifics of the Galax node ids.
*)
open Nodeid
(* Galax implementation id *)
val galax_implemid : implemid
(* Galax node id's are always Nodeid.PreInt *)
type galax_nodeid = prepostint_docorder
(* Doc id generator for Galax *)
val new_docid : unit -> docid
(* Galax docorder generation *)
type galax_nodeid_gen
val build_galax_nodeid_gen : Nodeid_context.nodeid_context -> galax_nodeid_gen
val build_galax_nodeid_gen_for_docid : Nodeid_context.nodeid_context -> docid -> galax_nodeid_gen
val new_galax_pre : galax_nodeid_gen -> preorder
val new_galax_nodeid : galax_nodeid_gen -> preorder -> postorder -> galax_nodeid
val new_galax_leaf_nodeid : galax_nodeid_gen -> galax_nodeid
|