Nuprl - mb_event_system_3 Citations of w-TA

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def w.TA == 1of(2of(w))

is mentioned by

Def valtype(i;a) == kindcase(kind(a);a.w.TA(i,a);l,tg.w.M(l,tg)) [w-valtype]

Def Action(i) == action(w-action-dec(w.TA;w.M;i)) [w-action]

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

Def valtype(i;a) == kindcase(kind(a);a.w.TA(i,a);l,tg.w.M(l,tg))	[w-valtype]
Def Action(i) == action(w-action-dec(w.TA;w.M;i))	[w-action]