Cairn · module
Cairn.Text.FieldTests
lean/Cairn/Text/FieldTests.lean
Checks for Cairn.Text.Field, 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.Text.Field
Order
lean/Cairn/Text/FieldTests.lean
Checks for Cairn.Text.Field, 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.Text.Field