GitHub repository: 2bdkid/refinement
Primary language: Rust
Created: 2021-01-03T16:52:02Z
Description: Convenient creation of type-safe refinement types.