State(ds) == x:Id 
ds(x)?Top
Definitions :
function: x:A B[x],
Id: Id,
fpf-cap: f(x)?z,
id-deq: IdDeq,
top: Top
FDL editor aliases :
ma-state
s-state
State(ds) == x:Id {}\mrightarrow{} ds(x)?Top
Date html generated:
2010_08_27-AM-12_03_03
Last ObjectModification:
2008_02_27-PM-09_48_51
Home
Index