A lightweight TypeScript library for assertion-based runtime data validation