Adapt to gentype branch of vcfloat#8

Open

andrew-appel wants to merge 3 commits intomainfrom

Commits on Jun 2, 2023

Adapt to gentype branch of vcfloat
andrew-appel
committed

Commits on Sep 1, 2023

Brought things up to date for vcfloat 2.1.1 and Coquelicot 3.4.0 (Coq Platform 2023.03)
andrew-appel
committed

Commits on Nov 3, 2023

Brought gentype branch of leapfrog up to date w.r.t. vcfloat gentype branch
andrew-appel
committed