checked-rs 0.7.1

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