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