sig
  val eval_cstatement :
    Execution_context.algebra_context ->
    Algebra_type.algop_expr -> Physical_value.physical_value
  val eval_prolog :
    Execution_context.algebra_context ->
    Algebra_type.algop_prolog ->
    Execution_context.algebra_context * Physical_value.physical_value list
  val eval_library_module :
    Execution_context.algebra_context ->
    Algebra_type.algop_xmodule ->
    Execution_context.algebra_context * Physical_value.physical_value list
  val eval_main_module :
    Execution_context.algebra_context ->
    Algebra_type.algop_xmodule ->
    Execution_context.algebra_context * Physical_value.physical_value list
end