Nuprl Definition : mbind-class
X >>= Y == X >x> Y x
Definitions occuring in Statement :
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
mbind-class
X >>= Y == X >x> Y x
Date html generated:
2012_02_20-PM-02_48_18
Last ObjectModification:
2012_02_01-AM-11_17_12
Home
Index