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
Latex:
X >>= Y == X >x> Y x
Date html generated:
2016_05_17-AM-00_21_47
Last ObjectModification:
2012_02_25-PM-02_17_28
Theory : event-ordering
Home
Index