Nuprl Definition : ohc_v1_NewRoundsState
ohc_v1_NewRoundsState(Cmd) == 
n.Memory-class(ohc_v1_update_round(Cmd) n;ohc_v1_init() 0;ohc_v1_RoundInfo(Cmd))
Definitions occuring in Statement :
ohc_v1_update_round: ohc_v1_update_round(Cmd),
ohc_v1_RoundInfo: ohc_v1_RoundInfo(Cmd),
ohc_v1_init: ohc_v1_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
natural_number: $n
FDL editor aliases :
ohc_v1_NewRoundsState
ohc\_v1\_NewRoundsState(Cmd) ==
\mlambda{}n.Memory-class(ohc\_v1\_update\_round(Cmd) n;ohc\_v1\_init() 0;ohc\_v1\_RoundInfo(Cmd))
Date html generated:
2012_02_20-PM-05_24_56
Last ObjectModification:
2012_02_13-PM-12_57_45
Home
Index