Nuprl Definition : bound-term-size

bound-term-size(bt) ==  term-size(snd(bt))


Definitions occuring in Statement :  term-size: term-size(t),  pi2: snd(t)
Definitions occuring in definition :  term-size: term-size(t),  pi2: snd(t)
FDL editor aliases :  bound-term-size
Latex:
bound-term-size(bt)  ==    term-size(snd(bt))


Date html generated: 2020_05_19-PM-09_53_58
Last ObjectModification: 2020_03_09-PM-04_08_26

Theory : terms


Home Index