【发布时间】：2017-01-04 18:27:20
【问题描述】：
【问题讨论】：
-
不要将代码作为图像。
标签： vdm++
【发布时间】：2017-01-04 18:27:20
【问题描述】：
“getStartPrice() ==" 行定义了操作的动作。令人惊讶的是，操作（或函数）定义以两行开头。第一行定义类型签名，如“op: nat * nat ==> nat”，第二行命名参数，如“op(a, b) == ...”。除非它是隐式的，否则操作的主体可以跟在“==”之后。
【讨论】：
-
非常感谢。帮我很多。