keiro-dsl-0.18.0.0: test/conformance-id-admission-domains/Generated/IdAdmissionDomains/Nominals.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from context id-admission-domains generated nominal declarations; do not edit.
module Generated.IdAdmissionDomains.Nominals
  ( LegacyId
  , parseLegacyId
  , mkLegacyId
  , legacyIdText
  ) where

import Generated.IdAdmissionDomains.Nominals.Internal (LegacyId, mkLegacyId, parseLegacyId, legacyIdText)