keiro-dsl-0.18.0.0: test/conformance-bare-containers/Generated/BareContainers/BareStore/Projection.hs
-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from aggregate BareStore; do not edit. module Generated.BareContainers.BareStore.Projection () where -- No projection declarations are present; this module keeps the generated manifest inventory total.