Tag
#types
2 prompts
Add Types Incrementally
Type one file with runtime behavior frozen, and make the type-checker output the proof.
Document a Function or Module
Complete JSDoc or docstrings with precise types, throws, constraints, and a usage example.