Operation semantics

• 操作语义

Operation semantics的用法和样例：

例句

1. The type information provides more precise operational semantics to the values.
   类型信息为值提供更精确的操作语义。