asConstant

open override fun asConstant(): Constant

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

Return

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