…ist ein Datentyp, der vergleichsweise mit einem bool statt zwei vier Status unterscheiden kann:
Hauptgrund für diesen Datentyp ist die Information bei einem boolischen Wert, ob dieser mit „false“ aussagt, dass das Ergebnis false ist, oder ob es nicht true ist (weil irgendwas nicht geklappt hat).
unknown als Schlüsselwort entfällt evtl. zugunsten von uninitialized. false und null sind von uninitialized verschieden. unknown wird bei STEP für logical benutzt (dort:true, false, unknown; kein null) empty als Schlüsselwort entfällt zugunsten von null. false und uninitialized sind von null verschieden.
null < false < unknown < true