Module Top_util

module Top_util: sig .. end

val separator : string Pervasives.ref

val print_processing_file : string -> unit

val init_output_refs : string ->
       Pervasives.out_channel Pervasives.ref ->
       Format.formatter Pervasives.ref -> unit

val close_channel_ref : Pervasives.out_channel Pervasives.ref -> unit

val exec : (Processing_context.processing_context -> 'a -> unit) ->
       Processing_context.processing_context -> 'a -> unit

val low_exec : (unit -> unit) -> unit -> unit

val galax_run_proc_ctxt : unit -> Processing_context.processing_context

val galax_compile_proc_ctxt : unit -> Processing_context.processing_context

val init_all : Processing_context.processing_context -> Galax.compiled_program

val set_up_external_context : Processing_context.processing_context -> bool * Galax.external_context

val compile_main_module_helper : bool ->
       Galax.compiled_program ->
       Galax_io.input_spec -> Galax.compiled_program * Galax.compiled_statement list

module InternalQuery: sig .. end

module Graph: sig .. end