5 lines
176 B
Text
5 lines
176 B
Text
OP ASSERT = (VECTOR [] CHAR assertion,BOOL valid) VOID:
|
|
IF NOT valid
|
|
THEN type line on terminal(assertion);
|
|
terminal error( 661 {invalid assertion } )
|
|
FI;
|