asClause

open fun asClause(): Clause?

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

Return

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