package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

Sourcetype nonrec 'state t = ('state, address) Indexable.t

Sourcetype nonrec index = address Indexable.index

Sourcetype nonrec value = address Indexable.value

Sourcetype nonrec either = address Indexable.either

Sourceval encoding : either Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval index_encoding : index Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval compare_values : value -> value -> int

Sourceval value_encoding : value Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval compare : 'state t -> 'state' t -> int

Sourceval value : address -> value

val index : 
  int32 ->
  index Tezos_protocol_environment_alpha.Error_monad.tzresult

Sourceval index_exn : int32 -> index

Sourceval pp : Tezos_protocol_environment_alpha.Format.formatter -> 'state t -> unit

Sourceval size : 'state t -> int

Sourceval in_memory_size : 'state t -> Cache_memory_helpers.sint