Nuprl Definition : mu_ex_v4_HandleToken
mu_ex_v4_HandleToken(cs;initial_token) ==
let F = 
l,zj,z.{mu_ex_v4_send_enter_cs() cs l} in
F@Loc|Loc,mu_ex_v4_Token(), mu_ex_v4_PrState(initial_token)|
Definitions occuring in Statement :
mu_ex_v4_PrState: mu_ex_v4_PrState(initial_token),
mu_ex_v4_send_enter_cs: mu_ex_v4_send_enter_cs(),
mu_ex_v4_Token: mu_ex_v4_Token(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
let: let,
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
mu_ex_v4_HandleToken
mu\_ex\_v4\_HandleToken(cs;initial$_{token}$) ==
let F = \mlambda{}l,zj,z.\{mu\_ex\_v4\_send\_enter\_cs() cs l\} in
F@Loc|Loc,mu\_ex\_v4\_Token(), mu\_ex\_v4\_PrState(initial$_{token}$)|
Date html generated:
2012_02_20-PM-06_32_28
Last ObjectModification:
2012_02_02-PM-02_53_50
Home
Index