Nuprl Definition : int_consensus_test
int_consensus_test(s) == let b,i,as,vs,w = s in if b then inl <i - 1, w> else inr 0 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
spreadn: let a,b,c,d,e = u in v[a; b; c; d; e],
pair: <a, b>,
inr: inr x ,
inl: inl x,
subtract: n - m,
natural_number: $n
FDL editor aliases :
int_consensus_test
int\_consensus\_test(s) == let b,i,as,vs,w = s in if b then inl <i - 1, w> else inr 0 fi
Date html generated:
2015_07_17-AM-11_49_13
Last ObjectModification:
2012_02_25-AM-11_50_19
Home
Index