keiro-dsl-0.10.0.0: test/conformance-workspace-nominals/Generated/WorkspaceNominalProof/Project/Projection.hs

-- @generated by keiro-dsl 0.9.0.0 (language keiro-dsl 4) from aggregate Project; do not edit.
module Generated.WorkspaceNominalProof.Project.Projection () where