Translator_model (mavryk-benchmarks-proto-001-PtAtLas.Mavryk_benchmarks_proto_001_PtAtLas.Translator

val ns : Mavryk_benchmark.Namespace.cons

val fv : string -> Mavryk_benchmark.Free_variable.t

val gas_full : 
  Translator_workload.kind ->
  Translator_workload.code_or_data ->
  (int * unit) Mavryk_benchmark.Model.model

val size_full : 
  Translator_workload.kind ->
  Translator_workload.code_or_data ->
  (int * (int * (int * unit))) Mavryk_benchmark.Model.model

val gas_based_model : 
  Translator_workload.kind ->
  Translator_workload.code_or_data ->
  Translator_workload.t Mavryk_benchmark.Model.t

val size_based_model : 
  Translator_workload.kind ->
  Translator_workload.code_or_data ->
  Translator_workload.t Mavryk_benchmark.Model.t