Nuprl Definition : oobboth?
oobboth?(x) == one_or_both_ind(x;bval.tt;lval.ff;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 :
oobboth?
Latex:
oobboth?(x) == one\_or\_both\_ind(x;bval.tt;lval.ff;rval.ff)
Date html generated:
2016_05_15-PM-05_33_25
Last ObjectModification:
2015_09_23-AM-07_55_50
Theory : general
Home
Index