Cairn · module
Cairn.Frame.EventsTests
lean/Cairn/Frame/EventsTests.lean
Checks for Cairn.Frame.Events, kept out of the module so they can use #guard
(a #guard in a module needs a meta import of what it evaluates).
Imports Cairn.Frame.Events
Order