packages feed

keiro-dsl-0.18.0.0: test/conformance-checked-mapping-replay/Generated/CheckedMappingReplay/Nominals.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context checked-mapping-replay generated nominal declarations; do not edit.
module Generated.CheckedMappingReplay.Nominals
  ( RetainedId
  , parseRetainedId
  , mkRetainedId
  , retainedIdText
  ) where

import Generated.CheckedMappingReplay.Nominals.Internal (RetainedId, mkRetainedId, parseRetainedId, retainedIdText)