IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
`{la\\}' kbd_lambda
(plain, insert) [var].<*>
In ML, insert <ml>.<ml>, but in insert-mode, reverse the direction, and if name-completion is activated, fill in the variable slot with a selection of free ML ids.
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
\\}'
[var].<*>