Nuprl Definition : ohc_v2_ReplicaState
ohc_v2_ReplicaState(Cmd) == Memory-class(ohc_v2_update_replica(Cmd);ohc_v2_init() <0, []>;ohc_v2_Initial(Cmd))
Definitions occuring in Statement :
ohc_v2_update_replica: ohc_v2_update_replica(Cmd),
ohc_v2_Initial: ohc_v2_Initial(Cmd),
ohc_v2_init: ohc_v2_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
ohc_v2_ReplicaState
ohc\_v2\_ReplicaState(Cmd) ==
Memory-class(ohc\_v2\_update\_replica(Cmd);ohc\_v2\_init() ɘ, []>ohc\_v2\_Initial(Cmd))
Date html generated:
2012_02_20-PM-05_51_45
Last ObjectModification:
2012_02_17-PM-10_25_35
Home
Index