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

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from readmodel replay_lookup; do not edit.
module Generated.CheckedMappingReplay.ReplayLookup.QueryContract
  ( ReplayLookupQueryInput
  , ReplayLookupQueryResult
  ) where

import Conformance.CheckedMappingReplay.Domain (ReplayEnvelope)

type ReplayLookupQueryInput = ReplayEnvelope
type ReplayLookupQueryResult = [ReplayEnvelope]