checked-rs 1.0.0

A library for encoding validation semantics into the type system.
Documentation