Nuprl Definition : int_consensus_init
int_consensus_init() == <ff, 0, [], [], 0>
Definitions occuring in Statement :
nil: [],
bfalse: ff,
pair: <a, b>,
natural_number: $n
FDL editor aliases :
int_consensus_init
int\_consensus\_init() == <ff, 0, [], [], 0>
Date html generated:
2015_07_17-AM-11_49_04
Last ObjectModification:
2012_02_25-AM-11_50_12
Home
Index