Nuprl Definition : oob-getleft?
oob-getleft?(x) == if oob-hasleft(x) then {oob-getleft(x)} else {} fi
Definitions occuring in Statement :
oob-getleft: oob-getleft(x),
oob-hasleft: oob-hasleft(x),
single-bag: {x},
empty-bag: {},
ifthenelse: if b then t else f fi
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
oob-hasleft: oob-hasleft(x),
single-bag: {x},
oob-getleft: oob-getleft(x),
empty-bag: {}
FDL editor aliases :
oob-getleft?
Latex:
oob-getleft?(x) == if oob-hasleft(x) then \{oob-getleft(x)\} else \{\} fi
Date html generated:
2016_05_15-PM-07_32_53
Last ObjectModification:
2015_09_23-AM-08_16_21
Theory : general
Home
Index