Nuprl Definition : oobleft-lval

oobleft-lval(x) ==  one_or_both_ind(x;bval.⋅;lval.lval;rval.⋅)



Definitions occuring in Statement :  one_or_both_ind: one_or_both_ind(x;bval.both[bval];lval.left[lval];rval.right[rval]) it:
Definitions occuring in definition :  one_or_both_ind: one_or_both_ind(x;bval.both[bval];lval.left[lval];rval.right[rval]) it:
FDL editor aliases :  oobleft-lval

Latex:
oobleft-lval(x)  ==    one\_or\_both\_ind(x;bval.\mcdot{};lval.lval;rval.\mcdot{})



Date html generated: 2016_05_15-PM-05_34_24
Last ObjectModification: 2015_09_23-AM-07_56_14

Theory : general


Home Index