A TypeScript library that implements Rust-like traits with compile-time type checking and runtime verification.
