Mavryk_shell_benchmarks.Encoding_benchmarksmodule No_codegen : sig ... endmodule Make_elliptic_curve_encoding_benchmarks (A : sig ... end) : sig ... endmodule Ed25519 : sig ... endmodule Secp256k1 : sig ... endmodule P256 : sig ... endmodule Bls : sig ... endval chain_id_encoding : Mavryk_benchmark.Benchmark.simple_with_numval chain_id_decoding : Mavryk_benchmark.Benchmark.simple_with_numval chain_id_readable_encoding :
(module Mavryk_benchmark.Benchmark.Simple_with_num)val chain_id_readable_decoding :
(module Mavryk_benchmark.Benchmark.Simple_with_num)The following benchmarks are not used directly to define precise gas models but the inferred gas constants may be used for over-approximating other costs or simply as reference points.
val purpose : Mavryk_benchmark.Benchmark.purposeval nat_encoding : (module Mavryk_benchmark.Benchmark.Simple_with_num)val nat_decoding : (module Mavryk_benchmark.Benchmark.Simple_with_num)val nat_decoding_intercept :
(module Mavryk_benchmark.Benchmark.Simple_with_num)val int_encoding : (module Mavryk_benchmark.Benchmark.Simple_with_num)val int_decoding : (module Mavryk_benchmark.Benchmark.Simple_with_num)val int_decoding_intercept :
(module Mavryk_benchmark.Benchmark.Simple_with_num)val string_encoding : (module Mavryk_benchmark.Benchmark.Simple_with_num)val string_decoding : (module Mavryk_benchmark.Benchmark.Simple_with_num)val adversarial_string_list_encoding :
(module Mavryk_benchmark.Benchmark.Simple_with_num)val adversarial_string_list_decoding :
(module Mavryk_benchmark.Benchmark.Simple_with_num)