Who Cites ma-single-effect0?
ma-single-effect0	Def ma-single-effect0(x;A;k;T;f) Def == ma-single-effect(x : A; k : T; k; x; (s,v. f(s(x),v)))
ma-single-effect	Def ma-single-effect(ds; da; k; x; f) == mk-ma(ds; da; ; ; <k,x> : f; ; ; )
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:

ma-single-effect0(x;A;k;T;f)

has structure:

ma-single-effect0(x; A; k; T; f)

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