(insert) let[,rec,ref,type] <ml> <ml> ;; IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html