Description

The tilde prefix operator is used to assert that its boolean operand is true.

Semantics

The form
   ~a
is equivalent to
   Assert(a)

The form
   ~#ba
is equivalent to
   b.sys:Assert(a)