package subtype-refinement
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Refinement types encoded with private types in OCaml
Install
Authors
Maintainers
Sources
0.2.tar.gz
md5=d11855793d23bcd16d25bcc65128f687
sha512=56cfd4dda126460f23100485124d5565a138942e0f5ec919bc7217a0560e6079db9669b65cca24fea762b1121134b8bbdfdeaeb9bce867688806defd35ac89d0
On This Page