(X until Y) ==
es,e.case class-pred(Y;es;e) of inl(e') => {} | inr(z) => X es e
Definitions occuring in Statement :
class-pred: class-pred(X;es;e),
apply: f a,
lambda: x.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
empty-bag: {}
Definitions :
lambda: x.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
class-pred: class-pred(X;es;e),
empty-bag: {},
apply: f a
FDL editor aliases :
until-class
(X until Y) == \mlambda{}es,e.case class-pred(Y;es;e) of inl(e') => \{\} | inr(z) => X es e
Date html generated:
2011_08_16-PM-04_40_53
Last ObjectModification:
2011_06_15-PM-04_46_01
Home
Index