Who Cites ma-single-sframe?
ma-single-sframe	Def only L sends on (l with tg) == mk-ma(; ; ; ; ; ; ; <l,tg> : L)
fpf-single	Def x : v == <[x],x.v>
fpf-empty	Def  == <nil,x.>
mk-ma	Def mk-ma(ds; da; init; pre; ef; send; frame; sframe) Def == <ds,da,init,pre,ef,send,frame,sframe,>

Syntax:

only L sends on (l with tg)

has structure:

ma-single-sframe(L; l; tg)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html