es-information-type(dd) ==
let S,ds,da = dd in
i:{i:Id| (i 
S)} 
k:{k:Knd| 
hasloc(k;i)} State(ds i) da i(k)?Top
Definitions :
spreadn: spread3,
l_member: (x l),
Id: Id,
set: {x:A| B[x]} ,
Knd: Knd,
assert: b,
hasloc: hasloc(k;i),
product: x:A B[x],
fpf-cap: f(x)?z,
apply: f a,
Kind-deq: KindDeq,
top: Top
FDL editor aliases :
es-information-type
es-information-type(dd) ==
let S,ds,da = dd in
i:\{i:Id| (i \mmember{} S)\} \mtimes{} k:\{k:Knd| \muparrow{}hasloc(k;i)\} \mtimes{} State(ds i) \mtimes{} da i(k)?Top
Date html generated:
2010_08_27-AM-09_32_34
Last ObjectModification:
2009_12_16-AM-01_11_10
Home
Index