Mithril Counter with Auto-Reset - Mithril-js Typing CST Test