Module Cs_code_top

module Cs_code_top: sig .. end

val build_default_var_decl_code : Code_selection_context.code_selection_context ->
       Xquery_algebra_ast.asequencetype option ->
       Xquery_common_ast.cvname ->
       Execution_context.algebra_context ->
       Physical_value.item Cursor.cursor -> Execution_context.algebra_context

val build_default_var_decl_external_code : Code_selection_context.code_selection_context ->
       Xquery_algebra_ast.asequencetype option ->
       Xquery_common_ast.cvname ->
       Execution_context.algebra_context ->
       unit -> Execution_context.algebra_context

val build_default_key_decl_code : Code_selection_context.code_selection_context ->
       string ->
       Algebra_type.algop_expr ->
       Algebra_type.eval_fun ->
       Execution_context.algebra_context ->
       Physical_value.item Cursor.cursor -> Execution_context.algebra_context

val build_default_name_index_decl_code : Code_selection_context.code_selection_context ->
       Execution_context.algebra_context ->
       unit -> Execution_context.algebra_context

val build_default_twig_index_decl_code : Code_selection_context.code_selection_context ->
       Execution_context.algebra_context ->
       unit -> Execution_context.algebra_context

val extend_var_context : Code_selection_context.code_selection_context *
       Execution_context.algebra_context ->
       Xquery_common_ast.cvname * Streaming_types.resolved_xml_stream ->
       Code_selection_context.code_selection_context *
       Execution_context.algebra_context

val extend_tuple_context : Code_selection_context.code_selection_context ->
       Xquery_common_ast.crname * Streaming_types.resolved_xml_stream ->
       Xquery_common_ast.crname * Xquery_physical_type_ast.physical_xml_type