es-bcausl(es;e;e') == case es."dco" e e' of inl(x) => tt | inr(x) => ff
Definitions :
decide: case b of inl(x) => s[x] | inr(y) => t[y],
apply: f a,
record-select: r.x,
token: "$token",
btrue: tt,
bfalse: ff
FDL editor aliases :
es-bcausl
es-bcausl(es;e;e') == case es."dco" e e' of inl(x) => tt | inr(x) => ff
Date html generated:
2010_08_27-AM-01_06_03
Last ObjectModification:
2009_12_28-PM-12_43_38
Home
Index