Code

Micro-optimize Ident.compare#1015

Code

Merged

jonludlam merged 1 commit intoocaml:masterocaml/odoc:masterfrom Julow:micro-benchmarks-ident-compareJulow/odoc:micro-benchmarks-ident-compareCopy head branch name to clipboardNov 7, 2023

+1-2

Commits

Commits on Oct 9, 2023

• Micro-optimize Ident.compare

  Show description for 838681e
  

  Julow

  and

  gpetiot

  committed
  838681e