gm2-libs/Assertion

DEFINITION MODULE Assertion ;

EXPORT QUALIFIED Assert ;

(*
   Assert - tests the boolean Condition, if it fails then HALT
            is called.
*)

Assert
PROCEDURE Assert (Condition: BOOLEAN) ;

END Assertion.