ArtifactClaim.hs

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

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

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