asReal

open fun asReal(): Real?

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

Return

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