/usr/lib/ocaml/galax/namespace_util.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 47 48 49 50 51 52 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: namespace_util.mli,v 1.2 2007/02/01 22:08:51 simeon Exp $ *)
(* Module: Namespace_util
Description:
This module implements some basic utilities over XML names.
*)
open Namespace_names
(***********************************)
(* Hashtables over resolved QNames *)
(***********************************)
(* Note:
The following are Hashtbl modules that operate properly on
resolved QNames, and are defined for convenience.
The key difference with the normal Hashtbl is that it properly
ignore the prefix when comparing the names.
The second kind of Hashtbl operates on a pair of QName and
integer and can be used notably to build Hashtbl's for function
names/arity.
- Jerome *)
module RQNameHashtbl : Hashtbl.S with type key = rqname
module RQNameIntHashtbl : Hashtbl.S with type key = (rqname * int)
(******************************************)
(* Association lists over resolved QNames *)
(******************************************)
type 'a rqname_assoc_list = (rqname * 'a) list
val remove_rqname_assoc : rqname -> 'a rqname_assoc_list -> 'a rqname_assoc_list
val rqname_assoc : rqname -> 'a rqname_assoc_list -> 'a
val mem_rqname_assoc : rqname -> 'a rqname_assoc_list -> bool
|