Nuprl Definition : dataflow-out

dataflow-out(df;a) ==  snd(df(a))


Definitions occuring in Statement :  dataflow-ap: df(a),  pi2: snd(t)
FDL editor aliases :  dataflow-out
Latex:
dataflow-out(df;a)  ==    snd(df(a))


Date html generated: 2015_07_23-AM-11_05_39
Last ObjectModification: 2013_10_24-PM-10_55_38

Home Index