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