asFact

open fun asFact(): Fact?

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

Return

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