Skip to content

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

Open
Niols wants to merge 1 commit into
c-cube:mainfrom
Niols:qcheck-in-mli
Open

Add [@@deriving qcheck] support in interface files#409
Niols wants to merge 1 commit into
c-cube:mainfrom
Niols:qcheck-in-mli

Add `[@@deriving qcheck]` support in interface files

b7592bc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check asciidoc
succeeded Apr 30, 2026 in 1m 57s