Terms.hascasl.output revision 5214cf3742dc626a7efc5ec851db09bf0ff1f579
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maedera = e = __ b __
a39a820684c1974350f46593025e0bb279f41bc6Christian Maeder({}, [], {[] {}})
a39a820684c1974350f46593025e0bb279f41bc6Christian Maeder{{}, [], {[] {}}}
76647324ed70f33b95a881b536d883daccf9568dChristian Maeder[{}, [], {[] {}}]
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)
feab655b0275874012c3cf9859064c177860cc70Christian Maeder(op y : bb ->? ())
f2c2b420e386a90d940c758c631d16f12952d2b7Christian Maeder(op y : bb ->? ())
f2c2b420e386a90d940c758c631d16f12952d2b7Christian Maeder(op y : () ->? ())
f2c2b420e386a90d940c758c631d16f12952d2b7Christian Maeder(predy y : 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
fd2dcd5c071e938c07338fd3a32296819b8a2333Christian Maedera when b else c
fd2dcd5c071e938c07338fd3a32296819b8a2333Christian Maeder{} when [] else {}
793945d4ac7c0f22760589c87af8e71427c76118Christian Maedera \ a : v .! ! x
67a14e04c885a87e4273a300eef60e680531088cChristian Maeder(op __<__ : () ->? ## -> bb)
67a14e04c885a87e4273a300eef60e680531088cChristian Maeder(op __<__ : () ->? aa � bb)
d48085f765fca838c1d972d2123601997174583dChristian Maederlet x = y in z
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 Maederif a then b else c
5b1f1d57c75562a7af79e8256f4afa07febe921bChristian Maeder\ (a @ (b, c) : S � S) . a
d48085f765fca838c1d972d2123601997174583dChristian Maeder\ (a # (b, c) : S � S) . a
d48085f765fca838c1d972d2123601997174583dChristian Maeder\ (a # (b, c) # : S � S) . a