TemplateLookupInput.hs

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

import GHC.Generics (Generic)
import Conformance.StructuralNominals.Domain (ClaimId)

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