@type code() ::
  :arith_domain
  | :index_bounds
  | :invalid_input
  | :missing_value
  | :existing_value
  | :exceeded_limit
  | :invalid_action
  | :internal_error
  | :unexpected_type
  | :unexpected_size

@type t() :: %Stellar.TxBuild.SCError{code: code(), type: type()}

@type type() ::
  :contract
  | :wasm_vm
  | :context
  | :storage
  | :object
  | :crypto
  | :events
  | :budget
  | :code
  | :auth