Nuprl Definition : oobleft?
oobleft?(x) == one_or_both_ind(x;bval.ff;lval.tt;rval.ff)
Definitions occuring in Statement :
one_or_both_ind: one_or_both_ind(x;bval.both[bval];lval.left[lval];rval.right[rval]),
bfalse: ff,
btrue: tt
Definitions occuring in definition :
one_or_both_ind: one_or_both_ind(x;bval.both[bval];lval.left[lval];rval.right[rval]),
btrue: tt,
bfalse: ff
FDL editor aliases :
oobleft?
Latex:
oobleft?(x) == one\_or\_both\_ind(x;bval.ff;lval.tt;rval.ff)
Date html generated:
2016_05_15-PM-05_34_02
Last ObjectModification:
2015_09_23-AM-07_56_06
Theory : general
Home
Index