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

is not otherwise mentioned in this or prior sections.

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