Nuprl Definition : ohc_v2_update_round
ohc_v2_update_round(Cmd) == 
n,z.let z,c = z in let m,i = z in round.if (n =
m) 
round <z i then i else round fi
Definitions occuring in Statement :
eq_int: (i = j),
band: p q,
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
lambda: x.A[x],
spread: spread def
FDL editor aliases :
ohc_v2_update_round
ohc\_v2\_update\_round(Cmd) ==
\mlambda{}n,z.let z,c = z in let m,i = z in \mlambda{}round.if (n =\msubz{} m) \mwedge{}\msubb{} round <z i then i else round fi
Date html generated:
2012_02_20-PM-05_49_12
Last ObjectModification:
2012_02_17-PM-10_23_57
Home
Index