keiro-dsl-0.9.0.0: test/conformance-replay/Generated/ReplayDivergence/Note/Projection.hs
-- @generated by keiro-dsl 0.8.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Projection () where
-- @generated by keiro-dsl 0.8.0.0 (language keiro-dsl 4) from aggregate Note; do not edit. module Generated.ReplayDivergence.Note.Projection () where