consensus-message(b;i;z) == inr inr <b, i, z>
Definitions :
inr: inr x ,
pair: <a, b>
FDL editor aliases :
consensus-message
consensus-message(b;i;z) == inr inr <b, i, z>
Date html generated:
2010_08_27-AM-12_55_06
Last ObjectModification:
2009_12_23-PM-03_29_42
Home
Index