Module Code_execute

module Code_execute: sig .. end

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