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 = {
}
type
compiled_library_module = compiled_prolog
type
compiled_main_module = compiled_prolog *
compiled_statement list
type
compiled_program = {
}
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