/usr/lib/ocaml/galax/planio_top.mli is in libgalax-ocaml-dev 1.1-15build5.
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 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: planio_top.mli,v 1.2 2007/02/01 22:08:51 simeon Exp $ *)
(*
Module: Planio_top
Description:
This module parses the algebraic plans which are serialized by
algebra_print_xml.ml so that they may be run again after
modification
*)
open Xquery_algebra_ast
(****************************)
(* STATEMENTS/EXPRESSIONS *)
(****************************)
val box_logical_algebra_statement :
Namespace_context.nsenv ->
Algebra_type.algop_expr ->
Streaming_types.resolved_xml_stream
val serialize_logical_algebra_statement :
Processing_context.processing_context ->
Galax_io.output_spec ->
Algebra_type.algop_expr ->
unit
val parse_logical_algebra_statement :
Processing_context.processing_context ->
Logical_algebra_types.logical_compile_context ->
Galax_io.input_spec ->
Logical_algebra_types.logical_algop_expr
(******************)
(* MODULES *)
(******************)
val box_logical_algebra_module :
Namespace_context.nsenv ->
('a,'b, 'c) Xquery_algebra_ast.aalgop_xmodule ->
Streaming_types.resolved_xml_stream
val parse_logical_algebra_module :
Processing_context.processing_context ->
Logical_algebra_types.logical_compile_context ->
Galax_io.input_spec ->
(Logical_algebra_types.logical_algop_xmodule * Logical_algebra_types.logical_compile_context)
(******************)
(* CLOSURES *)
(******************)
val box_closure_environment :
Namespace_context.nsenv ->
(Xquery_common_ast.cvname * Physical_value.xml_value) list ->
(Xquery_common_ast.cvname * Physical_value.xml_value) list ->
Streaming_types.resolved_xml_stream
val box_closure :
Namespace_context.nsenv ->
(* environment stream *)
Streaming_types.resolved_xml_stream ->
(* plan stream *)
Streaming_types.resolved_xml_stream ->
(* closure stream *)
Streaming_types.resolved_xml_stream
val parse_closure:
Processing_context.processing_context ->
Logical_algebra_types.logical_compile_context ->
Galax_io.input_spec ->
(* ((Variable, Value) list * (Tuple-field Value) list) * Algebraic plan *)
((Namespace_names.rqname * Streaming_types.resolved_xml_stream) list *
(Namespace_names.rqname * Streaming_types.resolved_xml_stream) list) *
Logical_algebra_types.logical_algop_expr
|