Nuprl Definition : new_23_sig_NewRoundsStateFun
new_23_sig_NewRoundsStateFun(Cmd;notify;propose;f;x;es;e) == new_23_sig_NewRoundsState(Cmd;notify;propose;f) x(e)
Definitions occuring in Statement :
new_23_sig_NewRoundsState: new_23_sig_NewRoundsState(Cmd;notify;propose;f),
classfun: X(e),
apply: f a
FDL editor aliases :
new_23_sig_NewRoundsStateFun
Latex:
new\_23\_sig\_NewRoundsStateFun(Cmd;notify;propose;f;x;es;e) ==
new\_23\_sig\_NewRoundsState(Cmd;notify;propose;f) x(e)
Date html generated:
2015_07_23-PM-03_51_14
Last ObjectModification:
2013_11_23-PM-09_55_28
Home
Index