Nuprl Definition : oobright?
oobright?(x) == one_or_both_ind(x;bval.ff;lval.ff;rval.tt)
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]),
bfalse: ff,
btrue: tt
FDL editor aliases :
oobright?
Latex:
oobright?(x) == one\_or\_both\_ind(x;bval.ff;lval.ff;rval.tt)
Date html generated:
2016_05_15-PM-05_34_45
Last ObjectModification:
2015_09_23-AM-07_56_22
Theory : general
Home
Index