DEFINITION MODULE Assertion ;

EXPORT QUALIFIED Assert ;


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

PROCEDURE Assert (Condition: BOOLEAN) ;


END Assertion.