The Fortress Language Specification - CiteSeerX

Chapter 31
Convenience Functions and Types
31.1 Convenience Functions
31.1.1 castT(x :Object) :T
The function cast converts the type of its argument to a given type. If the static type of the argument is not a subtype
of the given type, a CastException is thrown.
31.1.2 instanceOf T(x :Object) :Boolean
The function instanceOf tests whether its argument has a given type and returns a boolean value.
31.1.3 ignore(x :Object) :()
The function ignore discards the value of its argument and returns () .
31.1.4 tuple(x :Object) :Object
The function tuple returns its argument as a tuple expression.
31.1.5 identity(x :Object) :Object
The function identity returns its argument.
212