consensus-state6(V;A) == {a:Id| (a 
A)} 
(consensus-event(V;A) List)
Definitions :
function: x:A B[x],
set: {x:A| B[x]} ,
l_member: (x l),
Id: Id,
list: type List,
consensus-event: consensus-event(V;A)
FDL editor aliases :
consensus-state6
consensus-state6(V;A) == \{a:Id| (a \mmember{} A)\} {}\mrightarrow{} (consensus-event(V;A) List)
Date html generated:
2010_08_27-AM-12_55_28
Last ObjectModification:
2009_12_23-PM-03_30_49
Home
Index