List of Import References :
See BOOL
SIGNATURE DENOTATION
$Date: 1998/06/16 16:00:14 $ ($Revision: 1.1.1.1 $)
-- predefined structure for denotations SORT denotation IMPORT BOOL ONLY bool FUN tl: denotation->denotation -- tail -- tl("") == undefined -- tl("aX") == "X" FUN <| : denotation**denotation->bool -- prefix -- "" <| d == true -- "aX" <| "aY" == "X" <| "Y" -- "aX" <| "bY" == false
next node: ABORT,
prev node: BOOL,
up to node: Subsystem Compiler