Model (tezos-benchmarks-proto-alpha.Tezos_benchmarks_proto_alpha.Benchmarks

type 'workload t = 'workload Tezos_benchmark.Model.t

val make : 
  ?takes_saturation_reprs:bool ->
  name:Tezos_benchmark.Namespace.t ->
  conv:('a -> 'b) ->
  (Tezos_benchmark.Namespace.t -> 'b Tezos_benchmark.Model.model) ->
  'a t

val unknown_const1 : 
  ?const:Tezos_benchmark.Free_variable.t ->
  Tezos_benchmark.Namespace.t ->
  unit Tezos_benchmark.Model.model

val affine : 
  ?intercept:Tezos_benchmark.Free_variable.t ->
  ?coeff:Tezos_benchmark.Free_variable.t ->
  Tezos_benchmark.Namespace.t ->
  (int * unit) Tezos_benchmark.Model.model

val logn : 
  ?coeff:Tezos_benchmark.Free_variable.t ->
  Tezos_benchmark.Namespace.t ->
  (int * unit) Tezos_benchmark.Model.model

val nlogn : 
  ?intercept:Tezos_benchmark.Free_variable.t ->
  ?coeff:Tezos_benchmark.Free_variable.t ->
  Tezos_benchmark.Namespace.t ->
  (int * unit) Tezos_benchmark.Model.model

val linear : 
  ?coeff:Tezos_benchmark.Free_variable.t ->
  Tezos_benchmark.Namespace.t ->
  (int * unit) Tezos_benchmark.Model.model