castToTuple

open fun castToTuple(): Tuple

Casts the current Term to Tuple, if possible

Return

the current Term, casted to Tuple

Throws

if the current Term is not an instance of Tuple