package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

Sourceval mem : tree -> key -> bool Lwt.t

Sourceval mem_tree : tree -> key -> bool Lwt.t

Sourceval find : tree -> key -> value option Lwt.t

Sourceval find_tree : tree -> key -> tree option Lwt.t

val list : 
  tree ->
  ?offset:int ->
  ?length:int ->
  key ->
  (string * tree) list Lwt.t

Sourceval length : tree -> key -> int Lwt.t

Sourceval add : tree -> key -> value -> tree Lwt.t

Sourceval add_tree : tree -> key -> tree -> tree Lwt.t

Sourceval remove : tree -> key -> tree Lwt.t

val fold : 
  ?depth:depth ->
  tree ->
  key ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:(key -> tree -> 'a -> 'a Lwt.t) ->
  'a Lwt.t

Sourceval config : tree -> config

Sourceval empty : t -> tree

Sourceval is_empty : tree -> bool

Sourceval kind : tree -> Kind.t

Sourceval to_value : tree -> value option Lwt.t

Sourceval of_value : t -> value -> tree Lwt.t

Sourceval hash : tree -> Context_hash.t

Sourceval equal : tree -> tree -> bool

Sourceval clear : ?depth:int -> tree -> unit