Terms.hascasl.output revision 5214cf3742dc626a7efc5ec851db09bf0ff1f579
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder*
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder**
09249711700a6acbc40a2e337688b434d7aafa28Christian Maedera_a
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder__
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder123
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder1.2
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder1
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder1.2E3
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder12.23E34
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder"bla"
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder""
aff01ee50b66032469c232e00c945d1fd4f57d1bChristian Maeder=
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder<
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder<=
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder.a
c00adad2e9459b422dee09e3a2bddba66b433bb7Christian Maeder'a'
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder= [a, b]
950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian Maeder< [a, b]
0a39036fa485579a7b7c81cdd44a412392571927Christian Maeder<= [a, b]
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder.a [a, b]
0a39036fa485579a7b7c81cdd44a412392571927Christian Maeder'a' [a, b]
d48085f765fca838c1d972d2123601997174583dChristian Maeder__ * __
5d7e4bf173534e7eb3fc84dce7bb0151079d3f8aChristian Maedera =e= b
ad270004874ce1d0697fb30d7309f180553bb315Christian Maedera = e = b
0a39036fa485579a7b7c81cdd44a412392571927Christian Maedera = e = b
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maedera = e = __ b __
d48085f765fca838c1d972d2123601997174583dChristian Maeder(a = b)
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder(a __ b)
d48085f765fca838c1d972d2123601997174583dChristian Maeder(a __ b) a
d48085f765fca838c1d972d2123601997174583dChristian Maederb (a __ b)
76647324ed70f33b95a881b536d883daccf9568dChristian Maederb (a __ b) a
d48085f765fca838c1d972d2123601997174583dChristian Maeder{a __ b}
05ae87b9efa19655024b0b6ac344d250b96567cdChristian Maeder{a __ b} a
d48085f765fca838c1d972d2123601997174583dChristian Maederb {a __ b}
d48085f765fca838c1d972d2123601997174583dChristian Maederb {a __ b} a
d48085f765fca838c1d972d2123601997174583dChristian Maeder[a __ b]
d48085f765fca838c1d972d2123601997174583dChristian Maeder[a __ b] a
d48085f765fca838c1d972d2123601997174583dChristian Maederb [a __ b]
a39a820684c1974350f46593025e0bb279f41bc6Christian Maederb [a __ b] a
a39a820684c1974350f46593025e0bb279f41bc6Christian Maeder(a, =, b)
a39a820684c1974350f46593025e0bb279f41bc6Christian Maeder({}, [], {[] {}})
a39a820684c1974350f46593025e0bb279f41bc6Christian Maeder{{}, [], {[] {}}}
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder[{}, [], {[] {}}]
d48085f765fca838c1d972d2123601997174583dChristian Maeder(var y : bb)
d48085f765fca838c1d972d2123601997174583dChristian Maeder(op y : bb)
d48085f765fca838c1d972d2123601997174583dChristian Maeder(op __<__ : ##)
d48085f765fca838c1d972d2123601997174583dChristian Maeder(op __<__ : ## -> --)
d48085f765fca838c1d972d2123601997174583dChristian Maeder(op __<__ : bb)
05ae87b9efa19655024b0b6ac344d250b96567cdChristian Maeder(op __<__ : () ->? bb)
d48085f765fca838c1d972d2123601997174583dChristian Maeder(op __<__ : () ->? ##)
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder(op y : bb ->? ())
a716971174535184da7713ed308423e355a4aa66Christian Maeder(op y : bb � bb ->? ())
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder(var y : bb -> bb)
793945d4ac7c0f22760589c87af8e71427c76118Christian Maedera = e =< b
5e5c3fbbf8c22b883d551d83429b9f8d8041f1e0Christian Maederys as b
feab655b0275874012c3cf9859064c177860cc70Christian Maeder(op y : bb ->? ())
f2c2b420e386a90d940c758c631d16f12952d2b7Christian Maeder(op y : bb ->? ())
f2c2b420e386a90d940c758c631d16f12952d2b7Christian Maeder(op y : () ->? ())
f2c2b420e386a90d940c758c631d16f12952d2b7Christian Maeder(predy y : bb)
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder(predy : bb)
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder(predy : bb)
a716971174535184da7713ed308423e355a4aa66Christian Maederexists1 (predy :: bb)
a716971174535184da7713ed308423e355a4aa66Christian Maederexists predy : bb . a
5e5c3fbbf8c22b883d551d83429b9f8d8041f1e0Christian Maederexists! a : v . x
a716971174535184da7713ed308423e355a4aa66Christian Maederexists! a : v . x
a716971174535184da7713ed308423e355a4aa66Christian Maederexists! # : v . x
a716971174535184da7713ed308423e355a4aa66Christian Maederforall a : v . x
a716971174535184da7713ed308423e355a4aa66Christian Maeder\ a : v . x
5e5c3fbbf8c22b883d551d83429b9f8d8041f1e0Christian Maeder\ a : v . x
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder\ a : v .! x
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maeder\ a : v .! x
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maeder\ a : v . ! x
9884c7cef7e5a2c8595d5ef8c7d32b9b44a3fad8Christian Maeder\ a : v . ! x
9884c7cef7e5a2c8595d5ef8c7d32b9b44a3fad8Christian Maedera if b
fd2dcd5c071e938c07338fd3a32296819b8a2333Christian Maedera when b else c
fd2dcd5c071e938c07338fd3a32296819b8a2333Christian Maederdef x
fd2dcd5c071e938c07338fd3a32296819b8a2333Christian Maederdef #
fd2dcd5c071e938c07338fd3a32296819b8a2333Christian Maeder{} when [] else {}
9884c7cef7e5a2c8595d5ef8c7d32b9b44a3fad8Christian Maedera /\ b /\ c
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maedera \/ b \/ c
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maedera => b
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maedera <=> b
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maedertrue
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maederfalse
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maeder# as b
ee6c748be810b24e3c70ffd74f291c7394e389f5Christian Maederb in #
793945d4ac7c0f22760589c87af8e71427c76118Christian Maedera \ a : v .! ! x
d48085f765fca838c1d972d2123601997174583dChristian Maeder= e =
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder= e <
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder= e <
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder= ea
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder= e a
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder= a =
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder= a =
793945d4ac7c0f22760589c87af8e71427c76118Christian Maeder== e =
a716971174535184da7713ed308423e355a4aa66Christian Maeder== e =
a716971174535184da7713ed308423e355a4aa66Christian Maeder=e= e =e=
a716971174535184da7713ed308423e355a4aa66Christian Maeder=e= e =e=
67a14e04c885a87e4273a300eef60e680531088cChristian Maeder= e =e= e =
67a14e04c885a87e4273a300eef60e680531088cChristian Maeder(op __<__ : () ->? ## -> bb)
67a14e04c885a87e4273a300eef60e680531088cChristian Maeder(op __<__ : () ->? aa � bb)
d48085f765fca838c1d972d2123601997174583dChristian Maederlet x = y in z
d48085f765fca838c1d972d2123601997174583dChristian Maederlet x = y;
d48085f765fca838c1d972d2123601997174583dChristian Maeder x = y;
d48085f765fca838c1d972d2123601997174583dChristian Maeder x = y in z
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maederlet x = y;
d48085f765fca838c1d972d2123601997174583dChristian Maeder x = y;
d48085f765fca838c1d972d2123601997174583dChristian Maeder x = y in z in t
76647324ed70f33b95a881b536d883daccf9568dChristian Maederlet x = (y in z) in x
d48085f765fca838c1d972d2123601997174583dChristian Maederlet x = \ y : t . y in x (x)
d48085f765fca838c1d972d2123601997174583dChristian Maederlet x = case x in t of y -> z;
d48085f765fca838c1d972d2123601997174583dChristian Maeder x = y in x
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder()
d48085f765fca838c1d972d2123601997174583dChristian Maederif a then b
d48085f765fca838c1d972d2123601997174583dChristian Maedera if b
d48085f765fca838c1d972d2123601997174583dChristian Maederif a then b else c
d48085f765fca838c1d972d2123601997174583dChristian Maeder(a, b) as t
d48085f765fca838c1d972d2123601997174583dChristian Maeder((a, b) as t)
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder\ (a @ (b, c) : S � S) . a
d48085f765fca838c1d972d2123601997174583dChristian Maeder\ (a # (b, c) : S � S) . a
d48085f765fca838c1d972d2123601997174583dChristian Maeder\ (a # (b, c) # : S � S) . a
d48085f765fca838c1d972d2123601997174583dChristian Maeder\ (a) . a
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder