A TypeScript implementation of Rust-like type system with generic support and runtime type information.
