ProjectClaim.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from mapped structural ProjectClaim; do not edit.
module Generated.WorkspaceNominalProof.Structural.Shape.ProjectClaim (ProjectClaimShape (..)) where

import GHC.Generics (Generic)
import WorkspaceNominalProof.Domain (ClaimId)

data ProjectClaimShape = ProjectClaim
  { claimId :: !ClaimId
  }
  deriving stock (Eq, Generic, Show)