module Top_config: sig .. end
val context_file : string option Pervasives.ref
val context_item : string option Pervasives.ref
val global_vars : (string * string) list Pervasives.ref
val global_docs : (string * string) list Pervasives.ref
val output_all : bool Pervasives.ref
val validation : bool Pervasives.ref
val dtd : bool Pervasives.ref
val diff : bool Pervasives.ref
val schemafile : string option Pervasives.ref
val pxp : bool Pervasives.ref
val stream : bool Pervasives.ref
val resolve : bool Pervasives.ref
val annotate : bool Pervasives.ref
val erase : bool Pervasives.ref
val prefix : bool Pervasives.ref
val load : bool Pervasives.ref
val export : bool Pervasives.ref
val bool_of_onoff : string -> bool
val sbdo_kind_of_arg : string -> Processing_context.sbdo_kind
val typing_kind_of_arg : string -> Processing_context.typing_kind
val serialization_kind_of_arg : string -> Processing_context.serialization_kind
val projection_kind_of_arg : string -> Processing_context.projection_kind
val treejoin_log_of_arg : string -> Processing_context.treejoin_logical_kind
val treejoin_phys_of_arg : string -> Processing_context.treejoin_physical_kind
val buffer_chunks_of_arg : string -> int
val buffer_csize_of_arg : string -> int
val buffer_inc_of_arg : string -> int
val set_debug_kind_arg : Processing_context.processing_context -> string -> unit
val set_normalization_phase_arg : Processing_context.processing_context -> string -> unit
val set_normalization_ident_arg : Processing_context.processing_context -> string -> unit
val set_typing_phase_arg : Processing_context.processing_context -> string -> unit
val set_rewriting_phase_arg : Processing_context.processing_context -> string -> unit
val set_factorization_phase_arg : Processing_context.processing_context -> string -> unit
val set_optimization_phase_arg : Processing_context.processing_context -> string -> unit
val set_code_selection_phase_arg : Processing_context.processing_context -> string -> unit
val set_evaluation_phase_arg : Processing_context.processing_context -> string -> unit
val set_execute_kind_arg : Processing_context.processing_context -> string -> unit
val set_xml_whitespace_arg : Processing_context.processing_context -> unit -> unit
val set_xml_pis_and_comments_arg : Processing_context.processing_context -> unit -> unit
val unset_xml_whitespace_arg : Processing_context.processing_context -> unit -> unit
val unset_xml_pis_and_comments_arg : Processing_context.processing_context -> unit -> unit
val set_inline_functions_arg : Processing_context.processing_context -> string -> unit
val set_inline_variables_arg : Processing_context.processing_context -> string -> unit
val set_sbdo_kind_arg : Processing_context.processing_context -> string -> unit
val set_language_kind_arg : Processing_context.processing_context -> string -> unit
val set_syntax_kind_arg : Processing_context.processing_context -> string -> unit
val set_typing_kind_arg : Processing_context.processing_context -> string -> unit
val set_serialization_kind_arg : Processing_context.processing_context -> string -> unit
val set_projection_kind_arg : Processing_context.processing_context -> string -> unit
val set_treejoin_log_arg : Processing_context.processing_context -> string -> unit
val set_treejoin_phys_arg : Processing_context.processing_context -> string -> unit
val set_streaming_arg : Processing_context.processing_context -> string -> unit
val set_infer_indepedence_arg : Processing_context.processing_context -> string -> unit
val set_dxq_arg : Processing_context.processing_context -> string -> unit
val set_embed_xqueryx_arg : Processing_context.processing_context -> string -> unit
val set_error_arg : Processing_context.processing_context -> string -> unit
val set_plan_arg : Processing_context.processing_context -> string -> unit
val set_streaming_shebang : Processing_context.processing_context -> string -> unit
val set_scjoin_shebang : Processing_context.processing_context -> string -> unit
val set_twigjoin_shebang : Processing_context.processing_context -> string -> unit
val set_print_plan_shebang : Processing_context.processing_context -> string -> unit
val set_materialize_tables_kind_arg : Processing_context.processing_context -> string -> unit