Closed jvoigtlaender closed 1 year ago
They are mostly mirroring existing ones for elem and null, except for the not . notNull -> null one, for which there is no dual not . null -> notNull.
elem
null
not . notNull -> null
not . null -> notNull
They are mostly mirroring existing ones for
elemandnull, except for thenot . notNull -> nullone, for which there is no dualnot . null -> notNull.