Nuprl Definition : ohc_v1_ReplicaState
ohc_v1_ReplicaState(Cmd) == Memory-class(ohc_v1_update_replica(Cmd);ohc_v1_init() <0, []>;ohc_v1_Initial(Cmd))
Definitions occuring in Statement :
ohc_v1_update_replica: ohc_v1_update_replica(Cmd),
ohc_v1_Initial: ohc_v1_Initial(Cmd),
ohc_v1_init: ohc_v1_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
ohc_v1_ReplicaState
ohc\_v1\_ReplicaState(Cmd) ==
Memory-class(ohc\_v1\_update\_replica(Cmd);ohc\_v1\_init() ɘ, []>ohc\_v1\_Initial(Cmd))
Date html generated:
2012_02_20-PM-05_27_05
Last ObjectModification:
2012_02_13-PM-12_59_06
Home
Index