isNotEmptyLaw

inline fun <E> Array<E>.isNotEmptyLaw(): Boolean