KeY Logic Documentation
Defined symbols in the KeY System
Generated from version: heads/main on Fri Mar 06 10:31:19 UTC 2026
Startpage
Usage Index
KeY Docs
Overview
Sorts
boolean
Functions
FALSE
TRUE
boolean.key
Sorts
boolean
boolean;
defined in: boolean.key Line: 6 Offset :4
Functions
TRUE
boolean
TRUE
;
defined in: boolean.key Line: 10 Offset :4
FALSE
boolean
FALSE
;
defined in: boolean.key Line: 11 Offset :4