Module Evaluation_top

module Evaluation_top: sig .. end

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