@type map_entry() :: StellarBase.XDR.SCMapEntry.t()

@type t() :: %Stellar.TxBuild.SCVal{type: type(), value: value()}

@type type() ::
  :bool
  | :void
  | :error
  | :u32
  | :i32
  | :u64
  | :i64
  | :time_point
  | :duration
  | :u128
  | :i128
  | :u256
  | :i256
  | :bytes
  | :string
  | :symbol
  | :vec
  | :map
  | :address
  | :ledger_key_contract_instance
  | :ledger_key_nonce
  | :contract_instance

@type validation() :: {:ok, any()} | {:error, atom()}

@type value() ::
  nil
  | integer()
  | boolean()
  | Stellar.TxBuild.SCError.t()
  | map()
  | binary()
  | list()
  | atom()
  | Stellar.TxBuild.SCAddress.t()