sig
  val print_version : unit -> unit
  type option_classes =
      GalaxParse_Options
    | Misc_Options
    | Monitoring_Options
    | Encoding_Options
    | Context_Options
    | DataModel_Options
    | Serialization_Options
    | Behavior_Options
    | ProcessingPhases_Options
    | Printing_Options
    | Optimization_Options
    | CodeSelection_Options
    | Runtime_Options
    | PrintParse_Options
    | Daemon_Options
    | Zerod_Options
    | Testing_Options
    | XQueryX_Options
  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 -> Top_options.option_classes list -> string list
  val make_options_argv :
    Processing_context.processing_context ->
    string -> Top_options.option_classes list -> string array -> unit
end