isEmptyList

open override val isEmptyList: Boolean

Checks whether the current term is an empty logic list. This method is guaranteed to return true if and only if the current term is an instance of EmptyList.

Return

true if the current term is an empty logic list, or false, otherwise