Module Tezos_raw_protocol_alpha.Implicit_account_repr

Protocol-side representation of an implicit account identifier.

A thin wrapper that re-exports Account_hash and adds the storage Index. Kept abstract so the protocol manipulates account ids without depending on their underlying encoding.

type t
include Tezos_protocol_environment_alpha.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
val to_b58check : t -> string
val of_b58check_opt : string -> t option

Serializers

val zero : t

A value zero for type t.

val is_tz5 : t -> bool
type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Account_hash_invalid_notation of string
module Map : sig ... end
module Set : sig ... end
module Forbidden : sig ... end
module Index : Storage_description.INDEX with type t = t