Cross Reference: Phantom.hascasl
xref
: /
hets
/
HasCASL
/
test
/
Phantom.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
var a: Type
type dummy a := Logical
op b: dummy a
op c: Logical
. c <=> b[a]
. c <=> b