Hello, I've contacted upstream and they told me that the branch: https://gitlab.math.univ-paris-diderot.fr/cduce/cduce/tree/cduce-next works with OCaml 4.10.0 and that a new release may be made soon. Cheers, -- Stéphane