Giters

jjpe / refinement

Convenient creation of type-safe refinement types.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

refinement

Convenient creation of type-safe refinement types.

Installation

See cargo package

Documentation

See docs.rs

About

Convenient creation of type-safe refinement types.

Languages

Language:Rust 100.0%