Nuprl Definition : oob-getright?
oob-getright?(x) == if oob-hasright(x) then {oob-getright(x)} else {} fi
Definitions occuring in Statement :
oob-getright: oob-getright(x),
oob-hasright: oob-hasright(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-hasright: oob-hasright(x),
single-bag: {x},
oob-getright: oob-getright(x),
empty-bag: {}
FDL editor aliases :
oob-getright?
Latex:
oob-getright?(x) == if oob-hasright(x) then \{oob-getright(x)\} else \{\} fi
Date html generated:
2016_05_15-PM-07_33_22
Last ObjectModification:
2015_09_23-AM-08_16_32
Theory : general
Home
Index