Clink.rs

A library for maintaining type-level invariants.