Ticket_benchmarks (mavryk-benchmarks-proto-001-PtAtLas.Mavryk_benchmarks_proto_001_PtAtLas.Ticket

val ns : Mavryk_benchmark.Namespace.cons

val fv : string -> Mavryk_benchmark.Free_variable.t

module Ticket_type_shared : sig ... end

exception Ticket_benchmark_error of {

benchmark_name : Mavryk_benchmark.Namespace.t;
trace : Mavryk_base.TzPervasives.tztrace;

}

module Compare_ticket_hash_benchmark : Benchmarks_proto.Benchmark.S

A benchmark for Ticket_costs.Constants.cost_compare_ticket_hash.

module Compare_key_contract_benchmark : Benchmarks_proto.Benchmark.S

A benchmark for Ticket_costs.Constants.cost_compare_key_contract.

val ticket_ty : 
  (Mavryk_raw_protocol_001_PtAtLas.Script_int.z
     Mavryk_raw_protocol_001_PtAtLas.Script_int.num
     Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ticket,
    Mavryk_raw_protocol_001_PtAtLas.Dependent_bool.no)
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ty

val dummy_type_generator : 
  rng_state:Stdlib.Random.State.t ->
  int ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ex_ty

module Has_tickets_type_benchmark : Benchmarks_proto.Benchmark.S

A benchmark for Ticket_costs.Constants.cost_has_tickets_of_ty.

val ticket_sampler : 
  Stdlib.Random.State.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_int.z
    Mavryk_protocol_001_PtAtLas.Protocol.Script_int.num
    Mavryk_protocol_001_PtAtLas.Protocol.Script_typed_ir.ticket

module Collect_tickets_benchmark : Benchmarks_proto.Benchmark.S

A benchmark for Ticket_costs.Constants.cost_collect_tickets_step.