keiro-dsl-0.17.0.0: test/conformance-structural-nominals/Generated/StructuralNominalLeaves/TemplateCatalog/Projection.hs
-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from aggregate TemplateCatalog; do not edit. module Generated.StructuralNominalLeaves.TemplateCatalog.Projection () where -- No projection declarations are present; this module keeps the generated manifest inventory total.