Def Dconstant(loc;T;c;x;i)
Def == if loc = i [x : T initially x = c; only members of nil affect x :T]
Def == else nil fi

is mentioned

In prior sections: mb event system 7

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