Interpreter_benchmarks.Default_boilerplatetype workload = Interpreter_workload.tval workload_encoding :
Interpreter_workload.ir_sized_step list
Mavryk_base.TzPervasives.Data_encoding.encodingval workload_to_vector :
Interpreter_workload.ir_sized_step list ->
Mavryk_benchmark.Sparse_vec.String.t