Description

The tilde infix operator by convention is used to assert that its left operand has the type or view given by its right operand.

Semantics

The form
   a~b
is equivalent to
   Tilde(a,b)

The form
   a~#cb
is equivalent to
   c.sys:Tilde(a,b)