sig
  val algebra_execute :
    Execution_context.algebra_context ->
    Algebra_type.algop_expr -> Physical_value.physical_value
end