Script_typed_ir_size_benchmarks (mavryk-benchmarks-proto-001-PtAtLas.Mavryk_benchmarks_proto_001_PtAtLas.Script_typed_ir_size

val ns : Mavryk_benchmark.Namespace.cons

val fv : string -> Mavryk_benchmark.Free_variable.t

Benchmarking Script_typed_ir_size.value_size.

val local_model_name : string

val strict : 
  Mavryk_protocol_001_PtAtLas.Protocol.Script_ir_translator_config.elab_config

module Size_benchmarks_shared_config : sig ... end

module Value_size_benchmark : Mavryk_benchmark.Benchmark.S

Benchmarking Script_typed_ir_size.ty_size.

module Type_size_benchmark : Benchmarks_proto.Benchmark.S

Benchmarking Script_typed_ir_size.kinstr_size.

module Kinstr_size_benchmark : Mavryk_benchmark.Benchmark.S

module Node_size_benchmark : Benchmarks_proto.Benchmark.S