Rule syntax

nddrylliog edited this page Feb 6, 2011 · 1 revision
Clone this wiki locally

Expression rules

Expression rules are just rules that are always true.

For example, we can express the property that natural numbers are always greater than or equal to zero:

Nat: cover from Int { rule this > 0 }