All types that can be checked for emptiness. The empty variants of these types are represented in Empty.
@augment-vir/assert
All types that can be checked for emptiness. The empty variants of these types are represented in Empty.