Module Top_options

module Top_options: sig .. end

val print_version : unit -> unit

type option_classes = 

val opt_version : string

val arg_version : Processing_context.processing_context -> unit -> unit

val msg_version : string

val opt_verbose : string

val arg_verbose : Processing_context.processing_context -> string -> unit

val msg_verbose : string

val opt_debug : string

val arg_debug : Processing_context.processing_context -> string -> unit

val msg_debug : string

val opt_streaming_shebang : string

val arg_streaming_shebang : Processing_context.processing_context -> string -> unit

val msg_streaming_shebang : string

val opt_scjoin_shebang : string

val arg_scjoin_shebang : Processing_context.processing_context -> string -> unit

val msg_scjoin_shebang : string

val opt_twigjoin_shebang : string

val arg_twigjoin_shebang : Processing_context.processing_context -> string -> unit

val msg_twigjoin_shebang : string

val opt_print_plan_shebang : string

val arg_print_plan_shebang : Processing_context.processing_context -> string -> unit

val msg_print_plan_shebang : string

val opt_monitor : string

val arg_monitor : Processing_context.processing_context -> string -> unit

val msg_monitor : string

val opt_monitor_mem : string

val arg_monitor_mem : Processing_context.processing_context -> string -> unit

val msg_monitor_mem : string

val opt_monitor_time : string

val arg_monitor_time : Processing_context.processing_context -> string -> unit

val msg_monitor_time : string

val opt_output_monitor : string

val arg_output_monitor : Processing_context.processing_context -> string -> unit

val msg_output_monitor : string

val opt_internal_encoding : string

val arg_internal_encoding : Processing_context.processing_context -> string -> unit

val msg_internal_encoding : string

val opt_output_encoding : string

val arg_output_encoding : Processing_context.processing_context -> string -> unit

val msg_output_encoding : string

val opt_var : string

val arg_var : Processing_context.processing_context -> string -> unit

val msg_var : string

val opt_doc : string

val arg_doc : Processing_context.processing_context -> string -> unit

val msg_doc : string

val opt_context_item : string

val arg_context_item : Processing_context.processing_context -> string -> unit

val msg_context_item : string

val opt_context : string

val arg_context : Processing_context.processing_context -> string -> unit

val msg_context : string

val opt_xml_whitespace : string

val arg_xml_whitespace : Processing_context.processing_context -> unit -> unit

val msg_xml_whitespace : string

val opt_xml_pic : string

val arg_xml_pic : Processing_context.processing_context -> unit -> unit

val msg_xml_pic : string

val opt_serialize : string

val arg_serialize : Processing_context.processing_context -> string -> unit

val msg_serialize : string

val opt_typing : string

val arg_typing : Processing_context.processing_context -> string -> unit

val msg_typing : string

val opt_language : string

val arg_language : Processing_context.processing_context -> string -> unit

val msg_language : string

val opt_syntax : string

val arg_syntax : Processing_context.processing_context -> string -> unit

val msg_syntax : string

val opt_normalize : string

val arg_normalize : Processing_context.processing_context -> string -> unit

val msg_normalize : string

val opt_static_typing : string

val arg_static_typing : Processing_context.processing_context -> string -> unit

val msg_static_typing : string

val opt_rewriting : string

val arg_rewriting : Processing_context.processing_context -> string -> unit

val msg_rewriting : string

val opt_factorization : string

val arg_factorization : Processing_context.processing_context -> string -> unit

val msg_factorization : string

val opt_optimization : string

val arg_optimization : Processing_context.processing_context -> string -> unit

val msg_optimization : string

val opt_code_selection : string

val arg_code_selection : Processing_context.processing_context -> string -> unit

val msg_code_selection : string

val opt_dynamic : string

val arg_dynamic : Processing_context.processing_context -> string -> unit

val msg_dynamic : string

val opt_execute : string

val arg_execute : Processing_context.processing_context -> string -> unit

val msg_execute : string

val opt_print_error : string

val arg_print_error : Processing_context.processing_context -> string -> unit

val msg_print_error : string

val opt_print_warnings : string

val arg_print_warnings : Processing_context.processing_context -> string -> unit

val msg_print_warnings : string

val opt_print_plan : string

val arg_print_plan : Processing_context.processing_context -> string -> unit

val msg_print_plan : string

val opt_output_err : string

val arg_output_err : Processing_context.processing_context -> string -> unit

val msg_output_err : string

val opt_print_xml : string

val arg_print_xml : Processing_context.processing_context -> string -> unit

val msg_print_xml : string

val opt_output_xml : string

val arg_output_xml : Processing_context.processing_context -> string -> unit

val msg_output_xml : string

val opt_print_type : string

val arg_print_type : Processing_context.processing_context -> string -> unit

val msg_print_type : string

val opt_output_type : string

val arg_output_type : Processing_context.processing_context -> string -> unit

val msg_output_type : string

val opt_print_expr : string

val arg_print_expr : Processing_context.processing_context -> string -> unit

val msg_print_expr : string

val opt_output_expr : string

val arg_output_expr : Processing_context.processing_context -> string -> unit

val msg_output_expr : string

val opt_print_norm_expr : string

val arg_print_norm_expr : Processing_context.processing_context -> string -> unit

val msg_print_norm_expr : string

val opt_output_norm_expr : string

val arg_output_norm_expr : Processing_context.processing_context -> string -> unit

val msg_output_norm_expr : string

val opt_print_rewr_expr : string

val arg_print_rewr_expr : Processing_context.processing_context -> string -> unit

val msg_print_rewr_expr : string

val opt_output_rewr_expr : string

val arg_output_rewr_expr : Processing_context.processing_context -> string -> unit

val msg_output_rewr_expr : string

val opt_print_fact_expr : string

val arg_print_fact_expr : Processing_context.processing_context -> string -> unit

val msg_print_fact_expr : string

val opt_output_fact_expr : string

val arg_output_fact_expr : Processing_context.processing_context -> string -> unit

val msg_output_fact_expr : string

val opt_print_global : string

val arg_print_global : Processing_context.processing_context -> string -> unit

val msg_print_global : string

val opt_print_annotations : string

val arg_print_annotations : Processing_context.processing_context -> string -> unit

val msg_print_annotations : string

val opt_print_prolog : string

val arg_print_prolog : Processing_context.processing_context -> string -> unit

val msg_print_prolog : string

val opt_output_all : string

val arg_output_all : Processing_context.processing_context -> string -> unit

val msg_output_all : string

val opt_print_log_plan : string

val arg_print_log_plan : Processing_context.processing_context -> string -> unit

val msg_print_log_plan : string

val opt_output_log_plan : string

val arg_output_log_plan : Processing_context.processing_context -> string -> unit

val msg_output_log_plan : string

val opt_print_log_rewrites : string

val arg_print_log_rewrites : Processing_context.processing_context -> string -> unit

val msg_print_log_rewrites : string

val opt_output_log_rewrites : string

val arg_output_log_rewrites : Processing_context.processing_context -> string -> unit

val msg_output_log_rewrites : string

val opt_print_opt_plan : string

val arg_print_opt_plan : Processing_context.processing_context -> string -> unit

val msg_print_opt_plan : string

val opt_output_opt_plan : string

val arg_output_opt_plan : Processing_context.processing_context -> string -> unit

val msg_output_opt_plan : string

val opt_print_phys_plan : string

val arg_print_phys_plan : Processing_context.processing_context -> string -> unit

val msg_print_phys_plan : string

val opt_output_phys_plan : string

val arg_output_phys_plan : Processing_context.processing_context -> string -> unit

val msg_output_phys_plan : string

val opt_print_comp_annot : string

val arg_print_comp_annot : Processing_context.processing_context -> string -> unit

val msg_print_comp_annot : string

val opt_print_materialize : string

val arg_print_materialize : Processing_context.processing_context -> string -> unit

val msg_print_materialize : string

val opt_output_dfgraph : string

val arg_output_dfgraph : Processing_context.processing_context -> string -> unit

val msg_output_dfgraph : string

val opt_genresults : string

val arg_genresults : Processing_context.processing_context -> unit -> unit

val msg_genresults : string

val opt_aggressive : string

val arg_aggressive : Processing_context.processing_context -> string -> unit

val msg_aggressive : string

val opt_projection : string

val arg_projection : Processing_context.processing_context -> string -> unit

val msg_projection : string

val opt_treejoin_log : string

val arg_treejoin_log : Processing_context.processing_context -> string -> unit

val msg_treejoin_log : string

val opt_treejoin_phys : string

val arg_treejoin_phys : Processing_context.processing_context -> string -> unit

val msg_treejoin_phys : string

val opt_streaming : string

val arg_streaming : Processing_context.processing_context -> string -> unit

val msg_streaming : string

val opt_infer_independence : string

val arg_infer_indepedence : Processing_context.processing_context -> string -> unit

val msg_infer_indepedence : string

val opt_dxq : string

val arg_dxq : Processing_context.processing_context -> string -> unit

val msg_dxq : string

val opt_embed_xqueryx : string

val arg_embed_xqueryx : Processing_context.processing_context -> string -> unit

val msg_embed_xqueryx : string

val opt_inline : string

val arg_inline : Processing_context.processing_context -> string -> unit

val msg_inline : string

val opt_inline_var : string

val arg_inline_var : Processing_context.processing_context -> string -> unit

val msg_inline_var : string

val opt_buffer_chunks : string

val arg_buffer_chunks : Processing_context.processing_context -> string -> unit

val msg_buffer_chunks : string

val opt_buffer_csize : string

val arg_buffer_csize : Processing_context.processing_context -> string -> unit

val msg_buffer_csize : string

val opt_buffer_inc : string

val arg_buffer_inc : Processing_context.processing_context -> string -> unit

val msg_buffer_inc : string

val opt_nested_loop_join : string

val arg_nested_loop_join : Processing_context.processing_context -> string -> unit

val msg_nested_loop_join : string

val opt_sbdo : string

val arg_sbdo : Processing_context.processing_context -> string -> unit

val msg_sbdo : string

val opt_force_materialized : string

val arg_force_materialized : Processing_context.processing_context -> string -> unit

val msg_force_materialized : string

val opt_allow_streamed_tuple_fields : string

val arg_allow_streamed_tuple_fields : Processing_context.processing_context -> string -> unit

val msg_allow_streamed_tuple_fields : string

val opt_descendant_hack : string

val arg_descendant_hack : Processing_context.processing_context -> string -> unit

val msg_descendant_hack : string

val opt_materialize_tables : string

val arg_materialize_tables : Processing_context.processing_context -> string -> unit

val msg_materialize_tables : string

val title_main : string

val title_misc_options : string

val title_monitor_options : string

val title_character_encoding_options : string

val title_input_context_options : string

val title_data_model_options : string

val title_serialization_options : string

val title_behavior_options : string

val title_processing_phases_options : string

val title_printing_options : string

val title_prototype_options : string

val title_optimization_options : string

val title_code_selection_options : string

val title_runtime_options : string

val title_galax_parse_options : string

val usage_galax_run : string

val usage_galax_daemon : string

val usage_galax_parse : string

val usage_galax_compile : string

val usage_zerod : string

val make_options : Processing_context.processing_context ->
       string -> option_classes list -> string list

val make_options_argv : Processing_context.processing_context ->
       string -> option_classes list -> string array -> unit