keiro-dsl-0.15.0.0: test/conformance-service-package/runtime/src/Proof/WorkspaceProof/Generated/Nominals.hs

-- @generated by keiro-dsl 0.15.0.0 (language keiro-dsl 4) from context workspace-proof generated nominal declarations; do not edit.
module Proof.WorkspaceProof.Generated.Nominals
  ( ProofId
  , parseProofId
  , mkProofId
  , proofIdText
  ) where

import Proof.WorkspaceProof.Generated.Nominals.Internal (ProofId, mkProofId, parseProofId, proofIdText)