Mavkit_smart_rollup.Dictionary_encoding
val dictionary_encoding :
keys:'k list ->
string_of_key:('k -> string) ->
key_of_string:(string -> 'k) ->
value_encoding:('k -> 'v Mavryk_base.TzPervasives.Data_encoding.t) ->
('k * 'v) list Mavryk_base.TzPervasives.Data_encoding.t
dictionary_encoding keys string_of_key key_of_string
value_encoding
: a json only encoding of a (key, 'value)
list
. JSON is of the form
{ "k1" : v1, "k2" : v2, "k3" : v3 }