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