Module Hashed.Account_hash

Abstract identifier of an implicit account.

An abstract representation that decouples accounts from their keys. Formerly Signature.Public_key_hash.t, but representation was insufficient for stateful accounts. FIXME: Forbidden breaks this abstraction, but the end goal is to remove this module. Any further usage is prohibited.

type t
include Tezos_stdlib.Compare.S with type t := t
val (=) : t -> t -> bool

x = y iff compare x y = 0

val (<>) : t -> t -> bool

x <> y iff compare x y <> 0

val (<) : t -> t -> bool

x < y iff compare x y < 0

val (<=) : t -> t -> bool

x <= y iff compare x y <= 0

val (>=) : t -> t -> bool

x >= y iff compare x y >= 0

val (>) : t -> t -> bool

x > y iff compare x y > 0

val compare : t -> t -> int

compare an alias for the functor parameter's compare function

val equal : t -> t -> bool

equal x y iff compare x y = 0

val max : t -> t -> t

max x y is x if x >= y otherwise it is y

val min : t -> t -> t

min x y is x if x <= y otherwise it is y

val to_b58check : t -> string
val of_b58check : string -> t Tezos_error_monad.Error_monad.tzresult
val of_b58check_opt : string -> t option
val of_b58data : Base58.data -> t option
val pp : Stdlib.Format.formatter -> t -> unit
val pp_short : Stdlib.Format.formatter -> t -> unit

Serializers

val encoding : t Data_encoding.t
val zero : t

A value zero for type t.

val is_tz5 : t -> bool
type Tezos_error_monad.Error_monad.error +=
  1. | Invalid_notation of string
module Map : sig ... end
module Set : sig ... end
module Forbidden : sig ... end
val rpc_arg : t Tezos_rpc.Arg.t
module Path : sig ... end