Skip to content
This repository

Rule syntax 

nddrylliog edited this page · 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 }

Something went wrong with that request. Please try again.