/usr/lib/ocaml/galax/namespace_generate.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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: namespace_generate.mli,v 1.1 2007/02/12 21:15:33 simeon Exp $ *)
(* Module: Namespace_generate
Description:
This module contains support for QName creation.
*)
(* Note:
The compiler makes intensive use of this, during normalization,
algebraic compilation, andoptimization.
This module consolidate bits of pieces of code scattered accross
the compiler, and making sure the result of compilation is stable.
- Jerome
*)
open Namespace_names
type name_gen
val create_name_generator : prefix -> uri -> string -> name_gen
val reset_name_generator : name_gen -> unit
val generate_name : name_gen -> rqname
val generate_name_with_prefix : name_gen -> string -> rqname
|