Skip to content

Specifications can be terser through more type trickery - #456

Draft
OlivierNicole wants to merge 2 commits into
ocaml-multicore:mainfrom
OlivierNicole:more_types
Draft

Specifications can be terser through more type trickery#456
OlivierNicole wants to merge 2 commits into
ocaml-multicore:mainfrom
OlivierNicole:more_types

Hide existential type behind nicer functions

66a5d5e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs