EventData(M) == k:Kind 
(M k)
Definitions :
product: x:A B[x],
Kind: Kind,
apply: f a
FDL editor aliases :
event-data
EventData(M) == k:Kind \mtimes{} (M k)
Date html generated:
2010_08_26-PM-11_32_41
Last ObjectModification:
2009_10_14-PM-01_24_45
Home
Index