event-info(ds;da) == k:Knd 
State(ds) da(k)?Top
Definitions :
Knd: Knd,
product: x:A B[x],
fpf-cap: f(x)?z,
Kind-deq: KindDeq,
top: Top
FDL editor aliases :
event-info
event-info(ds;da) == k:Knd \mtimes{} State(ds) \mtimes{} da(k)?Top
Date html generated:
2010_08_27-AM-09_31_39
Last ObjectModification:
2009_12_16-AM-01_08_09
Home
Index