Nuprl Definition : new_23_sig_update_round
new_23_sig_update_round(Cmd) ==
λn,loc,z,round. let z,c = z in let m,i = z in if (n =z m) ∧b round <z i then i else round fi
Definitions occuring in Statement :
band: p ∧b q,
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
eq_int: (i =z j),
lambda: λx.A[x],
spread: spread def
FDL editor aliases :
new_23_sig_update_round
Latex:
new\_23\_sig\_update\_round(Cmd) ==
\mlambda{}n,loc,z,round. let z,c = z in let m,i = z in if (n =\msubz{} m) \mwedge{}\msubb{} round <z i then i else round fi
Date html generated:
2015_07_23-PM-03_51_05
Last ObjectModification:
2013_11_23-PM-09_55_17
Home
Index