This is another juxtaposing command, which is usually meant to be a variant of `(c-(space))'.

Add another curried sibling argument; but if the point isn't on an argument place, just insert <fun>(<arg>).

In ML, Add another curried sibling ML argument; but if the point isn't on an argument place, just insert <ml> <ml>.

(words, insert) <words go here><words go here>

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