Def M.init(x,v) == x0 != 1of(2of(2of(M)))(x) ==> v = x0  1of(M)(x)?Void

is mentioned

In prior sections: mb event system 5

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