isFail

open val isFail: Boolean

Checks whether the current term is the either the fail atom or the false atom. This method is guaranteed to return true if and only if the current term is an instance of Truth and its Truth.value is "fail" or "false".

Return

true if the current term is either "fail" or "false", or false, otherwise