package tezos-webassembly-interpreter

  1. Overview
  2. Docs
type key = Ast.name
type 'a producer = key -> 'a Lwt.t
module Map : sig ... end
type 'a t
val origin : 'a t -> Tezos_lazy_containers__Lazy_map.tree option
val string_of_key : key -> string
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val to_string : ('a -> string) -> 'a t -> string
val create : ?values:'a Map.t -> ?produce_value:'a producer -> ?origin:Tezos_lazy_containers__Lazy_map.tree -> unit -> 'a t
val get : key -> 'a t -> 'a Lwt.t
val set : key -> 'a -> 'a t -> 'a t
val dup : 'a t -> 'a t
val loaded_bindings : 'a t -> (key * 'a) list