Code_execute

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

code_execute.cmi_pretty

code_execute.mli

Sources

val build_execute_code :
  Code_selection_context.code_selection_context ->
  Algebra_type.algop_expr ->
  bool * Namespace_names.ncname * string ->
  Algebra_type.alg_eval_code_dep *
  Code_selection_context.code_selection_context
val build_server_implements_code :
  Code_selection_context.code_selection_context ->
  Algebra_type.algop_expr ->
  Namespace_names.ncname * string ->
  Algebra_type.alg_eval_code_dep *
  Code_selection_context.code_selection_context
val build_server_close_code :
  Code_selection_context.code_selection_context ->
  Algebra_type.algop_expr ->
  Namespace_names.ncname * string ->
  Algebra_type.alg_eval_code_dep *
  Code_selection_context.code_selection_context
val build_eval_closure_code :
  string ->
  Code_selection_context.code_selection_context ->
  Algebra_type.algop_expr ->
  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