this time with a manually-optimized tail call (and auto-deref applied to all references in this file)
Attach a file by drag & drop or click to upload
Jean-Christophe Filliâtre authored