Nuprl Definition : ohc_v2_NewRoundsState
ohc_v2_NewRoundsState(Cmd) == 
n.Memory-class(ohc_v2_update_round(Cmd) n;ohc_v2_init() 0;ohc_v2_RoundInfo(Cmd))
Definitions occuring in Statement :
ohc_v2_update_round: ohc_v2_update_round(Cmd),
ohc_v2_RoundInfo: ohc_v2_RoundInfo(Cmd),
ohc_v2_init: ohc_v2_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
natural_number: $n
FDL editor aliases :
ohc_v2_NewRoundsState
ohc\_v2\_NewRoundsState(Cmd) ==
\mlambda{}n.Memory-class(ohc\_v2\_update\_round(Cmd) n;ohc\_v2\_init() 0;ohc\_v2\_RoundInfo(Cmd))
Date html generated:
2012_02_20-PM-05_49_31
Last ObjectModification:
2012_02_17-PM-10_24_11
Home
Index