Module Compiled_program_units

module Compiled_program_units: sig .. end

val main_module_uri : string
type logical_compiled_statement = Logical_algebra_types.logical_algop_expr 
type compiled_statement = Algebra_type.algop_expr 
type compiled_prolog = {
   compiled_prolog_uri : string;
   mutable compiled_prolog_plan : Algebra_type.algop_prolog;
   mutable compiled_prolog_code_selection_context : Code_selection_context.code_selection_context;
}
type compiled_library_module = compiled_prolog 
type compiled_main_module = compiled_prolog *
compiled_statement list
type compiled_program = {
   compiled_program_proc_context : Processing_context.processing_context;
   compiled_program_stdlib_norm_context : Norm_context.norm_context;
   mutable compiled_program_algebra_context : Execution_context.algebra_context;
   compiled_program_interfaces : Norm_context.norm_interface_table;
   mutable compiled_program_library_list : string list;
   compiled_program_library_module_table : (string, compiled_library_module) Hashtbl.t;
   mutable compiled_program_main_module : compiled_main_module option;
}
type prepared_program = compiled_program 
val copy_compiled_program : compiled_program ->
compiled_program
val main_module_of_compiled_program : compiled_program ->
compiled_main_module
val processing_context_of_compiled_program : compiled_program ->
Processing_context.processing_context
val algebra_context_of_compiled_program : compiled_program -> Execution_context.algebra_context
val replace_algebra_context_of_compiled_program : compiled_program ->
Execution_context.algebra_context -> unit
val module_of_compiled_program : compiled_program ->
string -> compiled_library_module
val statements_of_compiled_program : compiled_program ->
compiled_statement list
val main_module_defined_in_compiled_program : compiled_program -> bool
val standard_library_of_compiled_program : compiled_program ->
compiled_library_module
val replace_algebra_context_of_compiled_program : compiled_program ->
Execution_context.algebra_context -> unit
val nsenv_of_module : compiled_prolog -> Namespace_context.nsenv
val nsenv_of_main_module : compiled_program -> Namespace_context.nsenv
val norm_context_of_module : compiled_prolog -> Norm_context.norm_context
val norm_context_of_main_module : compiled_program -> Norm_context.norm_context
val norm_context_of_standard_library : compiled_program -> Norm_context.norm_context
val norm_context_of_prolog : compiled_prolog -> Norm_context.norm_context
val static_context_of_module : compiled_prolog -> Typing_context.static_context
val static_context_of_main_module : compiled_program -> Typing_context.static_context
val compile_context_of_module : compiled_prolog ->
Logical_algebra_types.logical_compile_context
val compile_context_of_main_module : compiled_program ->
Logical_algebra_types.logical_compile_context
val code_selection_context_of_module : compiled_prolog ->
Code_selection_context.code_selection_context
val code_selection_context_of_main_module : compiled_program ->
Code_selection_context.code_selection_context
val replace_code_selection_context_of_module : compiled_prolog ->
Code_selection_context.code_selection_context -> unit
val update_code_selection_context_in_compiled_prolog : compiled_prolog ->
Code_selection_context.code_selection_context -> unit
val update_physical_plan_in_compiled_prolog : compiled_prolog ->
(Algebra_type.alg_eval_code_dep, Algebra_type.physical_annotation,
Algebra_type.alg_eval_code_dep_prolog)
Xquery_algebra_ast.aalgop_prolog -> unit
val default_compiled_module : compiled_program ->
string -> compiled_prolog
val default_compiled_program : Processing_context.processing_context ->
Norm_context.norm_context -> compiled_program
val copy_compiled_module : compiled_prolog ->
compiled_prolog
val copy_compiled_program : compiled_program ->
compiled_program