tagged union type
Representation of "{} IS NULL" in SQL
Representation of "{} IS NOT NULL" in SQL
Representation of "EXISTS {}" in SQL
Representation of "NOT EXISTS {}" in SQL
Representation of "NOT {}" in SQL
See Implementation
tagged union type