Nuprl Definition : do-apply

do-apply(f;x) ==  outl(f x)


Definitions occuring in Statement :  outl: outl(x),  apply: f a
Definitions occuring in definition :  outl: outl(x),  apply: f a
FDL editor aliases :  do-apply
Latex:
do-apply(f;x)  ==    outl(f  x)


Date html generated: 2016_05_15-PM-03_28_42
Last ObjectModification: 2015_09_23-AM-07_43_37

Theory : general


Home Index