/usr/lib/ocaml/galax/optim_vars.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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: optim_vars.mli,v 1.5 2007/02/01 22:08:52 simeon Exp $ *)
(* Module: Optim_vars
Description:
This module implements operations on variable for optimized
projection.
*)
(* Type representing a set of optimization variables *)
type optim_vars
(* The set of all optimization variables *)
val all_optimvars : optim_vars
(* The empty set *)
val empty_optimvars : optim_vars
(* Creates a singleton set with one optimization variable inside *)
val single_optimvars : Xquery_common_ast.cvname -> optim_vars
(* Is a given variable in the given set of optimization variables ? *)
val member : Xquery_common_ast.cvname -> optim_vars -> bool
(* The union of two sets of optimization variables *)
val union : optim_vars -> optim_vars -> optim_vars
(* The intersection between two sets of optimization variables *)
val intersection : optim_vars -> optim_vars -> optim_vars
(* Removes one variable from a set of optimization variables *)
val remove : Xquery_common_ast.cvname -> optim_vars -> optim_vars
val remove_list : Xquery_common_ast.cvname list -> optim_vars -> optim_vars
|