sig
val build_if_code :
Code_selection_context.code_selection_context ->
Algebra_type.algop_expr ->
Algebra_type.alg_eval_code_dep *
Code_selection_context.code_selection_context
val build_while_code :
Code_selection_context.code_selection_context ->
Algebra_type.algop_expr ->
Algebra_type.alg_eval_code_dep *
Code_selection_context.code_selection_context
val build_let_code :
Code_selection_context.code_selection_context ->
Algebra_type.algop_expr ->
Xquery_algebra_ast.asequencetype option * Xquery_common_ast.cvname ->
Algebra_type.alg_eval_code_dep *
Code_selection_context.code_selection_context
val build_var_code :
Code_selection_context.code_selection_context ->
Algebra_type.algop_expr ->
Xquery_common_ast.cvname ->
Algebra_type.alg_eval_code_dep *
Code_selection_context.code_selection_context
val build_set_code :
Code_selection_context.code_selection_context ->
Algebra_type.algop_expr ->
Xquery_common_ast.cvname ->
Algebra_type.alg_eval_code_dep *
Code_selection_context.code_selection_context
end