Code_functional

File lib/ocaml/pkg-lib/galax/code_functional_ops.cmi_pretty	GODI Package godi-galax
	Library galax

code_functional_ops.cmi_pretty

code_functional_ops.mli

Sources

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

This web site is published by Informatikbüro Gerd Stolpmann


Docs	GODI	Archive
Projects	Blog	Link DB