Model (mavryk-benchmarks-proto-001-PtAtLas.Mavryk_benchmarks_proto_001_PtAtLas.Benchmarks

type 'workload t = 'workload Mavryk_benchmark.Model.t

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

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

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

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

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

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