sig
  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
  val xml_header : string Pervasives.ref
  val xml_footer : string Pervasives.ref
  val print_expr : bool Pervasives.ref
  val expr_output : Pervasives.out_channel Pervasives.ref
  val expr_formatter : Format.formatter Pervasives.ref
  val expr_header : string Pervasives.ref
  val expr_footer : string Pervasives.ref
  val print_type : bool Pervasives.ref
  val type_output : Pervasives.out_channel Pervasives.ref
  val type_formatter : Format.formatter Pervasives.ref
  val type_header : string Pervasives.ref
  val type_footer : 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
  val core_expr_header : string Pervasives.ref
  val core_expr_footer : 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
  val optimized_expr_header : string Pervasives.ref
  val optimized_expr_footer : 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
  val factorized_expr_header : string Pervasives.ref
  val factorized_expr_footer : 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
  val algebra_optimization_rewrite_header : string Pervasives.ref
  val algebra_optimization_rewrite_footer : 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
  val logical_algebra_header : string Pervasives.ref
  val logical_algebra_footer : 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
  val optimized_algebra_header : string Pervasives.ref
  val optimized_algebra_footer : 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
  val physical_algebra_header : string Pervasives.ref
  val physical_algebra_footer : 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 : Conf.language_kind Pervasives.ref
  val set_language : Conf.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 : Conf.syntax_kind Pervasives.ref
  val set_syntax : Conf.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 : Conf.materialize_tables_kind -> unit
  val get_materialize_tables : unit -> Conf.materialize_tables_kind
end