asEmptyList

open override fun asEmptyList(): EmptyList

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

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