Nuprl Definition : msg-interface-delay
mi.delay ==  fst(mi)
Definitions occuring in Statement : 
pi1: fst(t)
FDL editor aliases : 
msg-interface-delay
Latex:
mi.delay  ==    fst(mi)
Date html generated:
2015_07_22-AM-11_58_50
Last ObjectModification:
2014_07_16-PM-00_13_26
Home
Index