Nuprl Definition : new_23_sig_ReplicaStateFun
new_23_sig_ReplicaStateFun(Cmd;notify;propose;slots;f;es;e) == new_23_sig_ReplicaState(Cmd;notify;propose;slots;f)(e)
Definitions occuring in Statement :
new_23_sig_ReplicaState: new_23_sig_ReplicaState(Cmd;notify;propose;slots;f),
classfun: X(e)
FDL editor aliases :
new_23_sig_ReplicaStateFun
Latex:
new\_23\_sig\_ReplicaStateFun(Cmd;notify;propose;slots;f;es;e) ==
new\_23\_sig\_ReplicaState(Cmd;notify;propose;slots;f)(e)
Date html generated:
2015_07_23-PM-03_52_07
Last ObjectModification:
2013_11_23-PM-09_56_26
Home
Index