Cross Reference: application.omega
xref
: /
haiku-buildtools
/
isl
/
test_inputs
/
application.omega
Home
History
Annotate
Line#
Navigate
Raw
Download
only in
/haiku-buildtools/isl/test_inputs/
1
{[x]}
2
{[x] -> [y] : y = 2x}
3
{[y]: Exists ( alpha : 2alpha = y)}
4