Mavryk_benchmarks_proto_001_PtAtLas.Global_constants_storage_benchmarksval ns : Mavryk_benchmark.Namespace.consval fv : string -> Mavryk_benchmark.Free_variable.tval assert_ok_lwt :
('a, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.t ->
'bval assert_ok : ('a, Mavryk_base.TzPervasives.tztrace) Stdlib.result -> 'bval seq_of_n_constants :
int ->
string ->
(int, Mavryk_protocol_001_PtAtLas.Protocol.Michelson_v1_primitives.prim)
Mavryk_micheline.Micheline.nodeseq_of_n_constants n hash generates a Seq filled with n constant primitives containing hash
val node_to_hash :
('a, Mavryk_raw_protocol_001_PtAtLas.Michelson_v1_primitives.prim)
Mavryk_micheline.Micheline.node ->
stringComputes the b58check hash of a Micheline node as a string.
module Micheline_sampler : sig ... endmodule Set_add : Benchmarks_proto.Benchmark.SCost model and benchmarks for set element addition from the OCaml stdlib.
module Set_elements : Benchmarks_proto.Benchmark.SCost model and benchmarks for set elements from the OCaml stdlib.
Cost model and benchmarks for Script_expr_hash.of_b58_check_opt. Under the hood this function uses the Blake2b functor, which uses the HACL* crypto library.
module Global_constants_storage_expand_models : sig ... endGlobal_constants_storage.expand traverses a Micheline node, searching for constants and replacing them with their values retrieved from storage.