Nuprl Definition : dec2bool
dec2bool(d) == case d of inl(x) => tt | inr(x) => ff
Definitions occuring in Statement :
bfalse: ff,
btrue: tt,
decide: case b of inl(x) => s[x] | inr(y) => t[y]
Definitions occuring in definition :
decide: case b of inl(x) => s[x] | inr(y) => t[y],
btrue: tt,
bfalse: ff
FDL editor aliases :
dec2bool
Latex:
dec2bool(d) == case d of inl(x) => tt | inr(x) => ff
Date html generated:
2016_05_15-PM-01_44_11
Last ObjectModification:
2015_09_23-AM-07_36_57
Theory : basic
Home
Index