Description

The question infix operator by convention is used to test if its left operand has the type or view given by its right operand.

Semantics

The form
   a?b
is equivalent to
   Question(a,b)

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