sig
  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
end