Module Compile_top

module Compile_top: sig .. end

val compile_statement : Logical_algebra_types.logical_compile_context ->
       Xquery_core_ast.acstatement -> Logical_algebra_types.logical_algop_expr

val compile_prolog : Logical_algebra_types.logical_compile_context ->
       Xquery_core_ast.acprolog ->
       Logical_algebra_types.logical_compile_context *
       Logical_algebra_types.logical_algop_prolog

val compile_xmodule : Logical_algebra_types.logical_compile_context ->
       Xquery_core_ast.acxmodule ->
       Logical_algebra_types.logical_compile_context *
       Logical_algebra_types.logical_algop_xmodule