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