Nuprl Definition : oob-getright
oob-getright(x) == if oobright?(x) then oobright-rval(x) else snd(oobboth-bval(x)) fi
Definitions occuring in Statement :
oobright-rval: oobright-rval(x),
oobright?: oobright?(x),
oobboth-bval: oobboth-bval(x),
ifthenelse: if b then t else f fi ,
pi2: snd(t)
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
oobright?: oobright?(x),
oobright-rval: oobright-rval(x),
pi2: snd(t),
oobboth-bval: oobboth-bval(x)
FDL editor aliases :
oob-getright
Latex:
oob-getright(x) == if oobright?(x) then oobright-rval(x) else snd(oobboth-bval(x)) fi
Date html generated:
2016_05_15-PM-05_36_29
Last ObjectModification:
2015_09_23-AM-07_57_02
Theory : general
Home
Index