Skip to content

Add [@@deriving qcheck] support in interface files - #409

Merged
jmid merged 3 commits into
c-cube:mainfrom
Niols:qcheck-in-mli
Aug 30, 2026
Merged

jmid merged 3 commits into
c-cube:mainfrom
Niols:qcheck-in-mli

Commits

Commits on Apr 30, 2026

Commits on Aug 30, 2026