Nuprl Definition : mu_ex_v6_State
mu_ex_v6_State(initial_token) ==
Memory4(mu_ex_v6_initState(initial_token);mu_ex_v6_onRequest();mu_ex_v6_request'base();...;...;...;...;...;...)
Definitions occuring in Statement :
mu_ex_v6_initState: mu_ex_v6_initState(initial_token),
mu_ex_v6_onLeaveCS: mu_ex_v6_onLeaveCS(),
mu_ex_v6_useSR'base: mu_ex_v6_useSR'base(),
Memory4: Memory4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4)
FDL editor aliases :
mu_ex_v6_State
mu\_ex\_v6\_State(initial$_{token}$) ==
Memory4(mu\_ex\_v6\_initState(initial$_{token}$);mu\_ex\_v6\_onRequest();...;...;...\000C;...;...;...;...)
Date html generated:
2012_02_20-PM-07_10_08
Last ObjectModification:
2012_02_02-PM-03_06_23
Home
Index