Module operators

Module operators 

Source

Structsยง

Always
And
Bounds
Eventually
Implies
Next
Not
Or