DEFINITION MODULE Assertion ; EXPORT QUALIFIED Assert ; (* Assert - tests the boolean Condition, if it fails then HALT is called. *) PROCEDURE Assert (Condition: BOOLEAN) ; END Assertion.
