Specifications can be terser through more type trickery#456

OlivierNicole wants to merge 2 commits intoocaml-multicore:mainocaml-multicore/multicoretests:mainfrom

OlivierNicole:more_typesOlivierNicole/multicoretests:more_typesCopy head branch name to clipboard