Tezos_benchmarks_proto_alpha.Translator_model
val ns : Tezos_benchmark.Namespace.cons
val fv : string -> Tezos_benchmark.Free_variable.t
val gas_full :
Translator_workload.kind ->
Translator_workload.code_or_data ->
(int * unit) Tezos_benchmark.Model.model
val size_full :
Translator_workload.kind ->
Translator_workload.code_or_data ->
(int * (int * (int * unit))) Tezos_benchmark.Model.model
val gas_based_model :
Translator_workload.kind ->
Translator_workload.code_or_data ->
Translator_workload.t Tezos_benchmark.Model.t
val size_based_model :
Translator_workload.kind ->
Translator_workload.code_or_data ->
Translator_workload.t Tezos_benchmark.Model.t