crates.io : pets
Predicate existential types.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/pets
Keywords:
predicate
, refinement-types
, precondition
License: MIT,Apache-2.0
Latest release: almost 6 years ago
First release: almost 6 years ago
Downloads: 1,584 total
Last synced: 17 days ago
Loading...
Readme
Loading...