/usr/lib/ocaml/galax/occurrence.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 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: occurrence.mli,v 1.8 2007/02/01 22:08:45 simeon Exp $ *)
(* Module: Occurrence
Description:
Manipulations of occurrences, i.e., an integer or
'unbounded'. Used for XML Schema minOccurs, maxOccurs, and XQuery
occurrence indicators.
*)
(* the type 'occurs' corresponds to minOccur and maxOccur *)
type occurs =
| UP_INT of int
| UNBOUNDED
type occurrence_indicator=
(occurs * occurs)
(* operations on bounds *)
val occurs : int -> occurs
val unbounded : occurs
val occurs_zero : occurs
val occurs_one : occurs
val ub_max : occurs -> occurs -> occurs
val ub_min : occurs -> occurs -> occurs
val ub_add : occurs -> occurs -> occurs
val ub_mult : occurs -> occurs -> occurs
val mult : occurs -> occurs -> occurs
val minus : int -> occurs -> occurs
val equal : occurs -> occurs -> bool
val le : occurs -> occurs -> bool
(* prints bounds *)
val string_of_occurs : occurs -> string
(* Approximate occurrence indicators as used in XQuery *)
val one : occurrence_indicator (* Exactly one *)
val optional : occurrence_indicator (* Zero or one '?' *)
val star : occurrence_indicator (* Zero or more '*' *)
val plus : occurrence_indicator (* One or more '+' *)
val is_one : occurrence_indicator -> bool
val is_optional : occurrence_indicator -> bool
val is_star : occurrence_indicator -> bool
val is_plus : occurrence_indicator -> bool
val mult_occurrences : occurrence_indicator -> occurrence_indicator -> occurrence_indicator
val seq_occurrences : occurrence_indicator -> occurrence_indicator -> occurrence_indicator
(* Computes an approximate occurrence indicator *)
val approximate_occurrences : occurrence_indicator -> occurrence_indicator
|