Projection.hs

-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 4) from aggregate Alpha; do not edit.
module Proof.WorkspaceProof.Alpha.Generated.Projection () where

-- No projection declarations are present; this module keeps the generated manifest inventory total.