@type data() :: Kadena.Types.EnvData.t() | nil

@type pact_id() :: Kadena.Types.PactTransactionHash.t()

@type proof() :: Kadena.Types.Proof.t() | nil

@type rollback() :: Kadena.Types.Rollback.t()

@type step() :: Kadena.Types.Step.t()

@type str() :: String.t()

@type t() :: %Kadena.Types.ContPayload{
  data: data(),
  pact_id: pact_id(),
  proof: proof(),
  rollback: rollback(),
  step: step()
}

@type validation() :: {:ok, value()} | {:error, Keyword.t()}

@type value() :: data() | pact_id() | proof() | rollback() | step()