package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_raw_protocol_013_PtJakart.Script_mapSource

Sourceval make : (module Script_typed_ir.Boxed_map with type key = 'key and type value = 'value) -> ('key, 'value) Script_typed_ir.map
Sourceval get_module : ('key, 'value) Script_typed_ir.map -> (module Script_typed_ir.Boxed_map with type key = 'key and type value = 'value)
Sourceval empty_from : ('a, 'b) Script_typed_ir.map -> ('a, 'c) Script_typed_ir.map
Sourceval fold : ('key -> 'value -> 'acc -> 'acc) -> ('key, 'value) Script_typed_ir.map -> 'acc -> 'acc
Sourceval update : 'a -> 'b option -> ('a, 'b) Script_typed_ir.map -> ('a, 'b) Script_typed_ir.map
Sourceval mem : 'key -> ('key, 'value) Script_typed_ir.map -> bool
Sourceval get : 'key -> ('key, 'value) Script_typed_ir.map -> 'value option
OCaml

Innovation. Community. Security.