Cairn · module

Cairn.Frame.BuildTests

lean/Cairn/Frame/BuildTests.lean

Checks for Cairn.Frame.Build, 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.Build

Order