Nuprl Definition : mFOconnect

mFOconnect(knd;left;right) ==  <"connect", knd, left, right>



Definitions occuring in Statement :  pair: <a, b> token: "$token"
FDL editor aliases :  mFOconnect
mFOconnect(knd;left;right)  ==    <"connect",  knd,  left,  right>



Date html generated: 2015_07_17-AM-07_53_32
Last ObjectModification: 2014_04_30-PM-01_15_25

Home Index