Ticket_benchmarks (tezos-benchmarks-proto-alpha.Tezos_benchmarks_proto_alpha.Ticket

val ns : Tezos_benchmark.Namespace.cons

val fv : string -> Tezos_benchmark.Free_variable.t

module Ticket_type_shared : sig ... end

exception Ticket_benchmark_error of {

benchmark_name : Tezos_benchmark.Namespace.t;
trace : Tezos_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 : 
  (Tezos_raw_protocol_alpha.Script_int.z
     Tezos_raw_protocol_alpha.Script_int.num
     Tezos_protocol_alpha.Protocol.Script_typed_ir.ticket,
    Tezos_raw_protocol_alpha.Dependent_bool.no)
    Tezos_protocol_alpha.Protocol.Script_typed_ir.ty

val dummy_type_generator : 
  rng_state:Stdlib.Random.State.t ->
  int ->
  Tezos_protocol_alpha.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 ->
  Tezos_protocol_alpha.Protocol.Script_int.z
    Tezos_protocol_alpha.Protocol.Script_int.num
    Tezos_protocol_alpha.Protocol.Script_typed_ir.ticket

module Collect_tickets_benchmark : Benchmarks_proto.Benchmark.S

A benchmark for Ticket_costs.Constants.cost_collect_tickets_step.