Nuprl Definition : mu_ex_v6_Handle
mu_ex_v6_Handle(initial_token) == 
F,X.F@Loc|Loc,X, mu_ex_v6_State(initial_token)|
Definitions occuring in Statement :
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
lambda: x.A[x]
FDL editor aliases :
mu_ex_v6_Handle
mu\_ex\_v6\_Handle(initial$_{token}$) == \mlambda{}F,X.F@Loc|Loc,X, mu\_ex\_v6\_State(initial\mbackslash{}\000Cff24_{token}$)|
Date html generated:
2012_02_20-PM-07_10_28
Last ObjectModification:
2012_02_02-PM-03_06_35
Home
Index