Models (mavryk-benchmarks-proto-001-PtAtLas.Mavryk_benchmarks_proto_001_PtAtLas.Interpreter

val const1_model : string -> unit Mavryk_benchmark.Model.model

val const1_skip1_model : string -> (int * unit) Mavryk_benchmark.Model.model

val const1_skip2_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val affine_model : string -> (int * unit) Mavryk_benchmark.Model.model

val affine_offset_model : 
  string ->
  offset:int ->
  (int * unit) Mavryk_benchmark.Model.model

val break_model : string -> int -> (int * unit) Mavryk_benchmark.Model.model

val break_model_2 : 
  string ->
  int ->
  int ->
  (int * unit) Mavryk_benchmark.Model.model

val break_model_2_const : 
  string ->
  int ->
  int ->
  (int * unit) Mavryk_benchmark.Model.model

val break_model_2_const_offset : 
  string ->
  int ->
  int ->
  offset:int ->
  (int * unit) Mavryk_benchmark.Model.model

val nlogm_model : string -> (int * (int * unit)) Mavryk_benchmark.Model.model

val concat_model : string -> (int * (int * unit)) Mavryk_benchmark.Model.model

val bilinear_affine_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val affine_skip1_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val linear_sum_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val linear_max_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val linear_min_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val linear_min_offset_model : 
  string ->
  offset:int ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val pack_model : 
  string ->
  (int * (int * (int * unit))) Mavryk_benchmark.Model.model

val open_chest_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * (int * unit))

val verify_update_model : 
  string ->
  (int * (int * unit)) Mavryk_benchmark.Model.model

val list_enter_body_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * (int * unit))

val branching_model : 
  case_0:string ->
  case_1:string ->
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * unit)

val empty_branch_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * unit)

val max_branching_model : 
  case_0:string ->
  case_1:string ->
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = unit)

val lambda_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * unit)

val join_tickets_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * (int * (int * (int * unit))))

val join_tickets_alloc_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * (int * (int * (int * unit))))

val lsl_bytes_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * (int * unit))

val lsr_bytes_model : 
  string ->
  (module Mavryk_benchmark.Model.Model_impl
  with type arg_type = int * (int * unit))