module Conf: sig
.. end
val system : string
val version : string
val copyright : string
val status : string
val motd : string
val xquery_version : string
val galax_library : string
val pervasive_content : string Pervasives.ref
val unicode_maps : string option Pervasives.ref
val print_global : bool Pervasives.ref
val print_prolog : bool Pervasives.ref
val verbose : bool Pervasives.ref
val verbose_error : bool Pervasives.ref
val warning : bool Pervasives.ref
val xml_charescape_fn : (string -> string) Pervasives.ref
val print_xml : bool Pervasives.ref
val xml_output : Pervasives.out_channel Pervasives.ref
val xml_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_expr : bool Pervasives.ref
val expr_output : Pervasives.out_channel Pervasives.ref
val expr_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_type : bool Pervasives.ref
val type_output : Pervasives.out_channel Pervasives.ref
val type_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_core_expr : bool Pervasives.ref
val core_expr_output : Pervasives.out_channel Pervasives.ref
val core_expr_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_annotations : bool Pervasives.ref
val print_optimized_expr : bool Pervasives.ref
val optimized_expr_output : Pervasives.out_channel Pervasives.ref
val optimized_expr_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_factorized_expr : bool Pervasives.ref
val factorized_expr_output : Pervasives.out_channel Pervasives.ref
val factorized_expr_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_projection : bool Pervasives.ref
val projection_output : Pervasives.out_channel Pervasives.ref
val projection_formatter : Format.formatter Pervasives.ref
val print_projected_file : bool Pervasives.ref
val projected_file_output : Pervasives.out_channel Pervasives.ref
val projected_file_formatter : Format.formatter Pervasives.ref
val glx_stderr : Pervasives.out_channel Pervasives.ref
val glx_err_formatter : Format.formatter Pervasives.ref
val print_algebra_optimization_rewrite : bool Pervasives.ref
val algebra_optimization_rewrite_output : Pervasives.out_channel Pervasives.ref
val algebra_optimization_rewrite_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_logical_algebra : bool Pervasives.ref
val logical_algebra_output : Pervasives.out_channel Pervasives.ref
val logical_algebra_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val serialize_logical_algebra : bool Pervasives.ref
val print_optimized_algebra : bool Pervasives.ref
val optimized_algebra_output : Pervasives.out_channel Pervasives.ref
val optimized_algebra_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_physical_algebra : bool Pervasives.ref
val physical_algebra_output : Pervasives.out_channel Pervasives.ref
val physical_algebra_formatter : Format.formatter Pervasives.ref
: string Pervasives.ref
: string Pervasives.ref
val print_dfgraph : bool Pervasives.ref
val dfgraph_output : Pervasives.out_channel Pervasives.ref
val dfgraph_formatter : Format.formatter Pervasives.ref
val genresults : bool Pervasives.ref
val load_xml_plans : bool Pervasives.ref
val execute_logical_plan : bool Pervasives.ref
val execute_optimized_plan : bool Pervasives.ref
val emptyns : string
val xmlns : string
val xmlnsns : string
val xsns : string
val xsdns : string
val xsins : string
val fnns : string
val xqxns : string
val opns : string
val fsns : string
val collns : string
val errns : string
val localns : string
val glxns : string
val bPrinting_comp_annotations : bool Pervasives.ref
val print_materialize : bool Pervasives.ref
val new_descendant_style : bool Pervasives.ref
val aggressive_sbdo_remove : bool Pervasives.ref
val nested_loop_join : bool Pervasives.ref
val force_materialized_variables : bool Pervasives.ref
val allow_streamed_tuple_fields : bool Pervasives.ref
val old_children_method : bool Pervasives.ref
val jungle_buffsize : int option Pervasives.ref
val buffer_chunks : int Pervasives.ref
val buffer_csize : int Pervasives.ref
val buffer_inc : int Pervasives.ref
val countload : int Pervasives.ref
val countnext : int Pervasives.ref
val countexpo : int Pervasives.ref
type
language_kind =
| |
Language_XQuery10 |
| |
Language_XQueryUpdates |
| |
Language_XQueryBang |
| |
Language_XQueryP |
| |
Language_DXQ |
val language : language_kind Pervasives.ref
val set_language : language_kind -> unit
val is_xquery : unit -> bool
val is_ultf : unit -> bool
val is_xquerybang : unit -> bool
val is_xqueryp : unit -> bool
val is_dxq : unit -> bool
type
syntax_kind =
| |
XQuery_Syntax |
| |
XQueryX_Syntax |
val syntax : syntax_kind Pervasives.ref
val set_syntax : syntax_kind -> unit
val is_xquery_syntax : unit -> bool
val is_xqueryx_syntax : unit -> bool
val batch_xqueryx : bool Pervasives.ref
val embed_xqueryx : bool Pervasives.ref
type
materialize_tables_kind =
| |
Always |
| |
Analysis |
| |
Never |
val set_materialize_tables : materialize_tables_kind -> unit
val get_materialize_tables : unit -> materialize_tables_kind