Module Compile_util

module Compile_util: sig .. end

val compile_inputtuple : Xquery_ast.expr_handle ->
       Finfo.finfo -> Logical_algebra_types.logical_algop_expr

val compile_ctype : Logical_algebra_types.logical_compile_context ->
       Xquery_core_ast.csequencetype * Xquery_type_core_ast.cxtype ->
       Xquery_algebra_ast.asequencetype

val compile_opt_ctype : Logical_algebra_types.logical_compile_context ->
       (Xquery_core_ast.csequencetype * Xquery_type_core_ast.cxtype) option ->
       Xquery_algebra_ast.asequencetype option

val compile_cnode_test : Xquery_core_ast.cnode_test -> Xquery_algebra_ast.anode_test

val compile_overloaded_table_sigs : Logical_algebra_types.logical_compile_context ->
       Xquery_core_ast.overloaded_signature_table ->
       Xquery_algebra_ast.aoverloaded_signature_table

val compile_cfunction_sig : Logical_algebra_types.logical_compile_context ->
       Xquery_core_ast.cfunction_signature -> Xquery_algebra_ast.afunction_signature