asRecursive

open override fun asRecursive(): Recursive

Casts the current Term to Recursive, if possible, or returns null otherwise

Return

the current Term, casted to Recursive, or null, if the current term is not an instance of Recursive