int_consensus_init() == <ff, 0, [], [], 0>
Definitions :
bfalse: ff,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
int_consensus_init
int\_consensus\_init() == <ff, 0, [], [], 0>
Date html generated:
2010_08_27-AM-12_57_50
Last ObjectModification:
2009_12_23-PM-03_32_52
Home
Index