isFact

open val isFact: Boolean

Checks whether the current term is a fact. This method is guaranteed to return true if and only if the current term is an instance of Fact.

Return

true if the current term is a fact, or false, otherwise