Translator_benchmarks (tezos-benchmarks-proto-alpha.Tezos_benchmarks_proto_alpha.Translator

module Encodings : sig ... end

val group : Tezos_benchmark.Benchmark.group

module Size = Tezos_protocol_alpha.Protocol.Gas_input_size

val ns : Tezos_benchmark.Namespace.cons

val fv : string -> Tezos_benchmark.Free_variable.t

`Script_ir_translator` benchmarks

module Config : sig ... end

module Default_boilerplate : sig ... end

type phase =

| Workload_production
| In_protocol
| Global

type error_kind =

| Global_error of {
1. benchmark_name : Tezos_benchmark.Namespace.t;
2. workload : Tezos_base.TzPervasives.tztrace;
}
| Bad_data of {
1. benchmark_name : Tezos_benchmark.Namespace.t;
2. micheline : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr;
3. expected_type : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr;
4. phase : phase;
}
| Bad_code of {
1. benchmark_name : Tezos_benchmark.Namespace.t;
2. micheline : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr;
3. expected_stack_type : Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr list;
4. phase : phase;
}

val pp_phase : Stdlib.Format.formatter -> phase -> unit

val report_michelson_errors : 
  Stdlib.Format.formatter ->
  Tezos_base.TzPervasives.Error_monad.error list ->
  unit

val make_printable : 
  Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim
    Tezos_micheline.Micheline.canonical ->
  (Tezos_micheline.Micheline_printer.location, string)
    Tezos_micheline.Micheline.node

val pp_error_kind : Stdlib.Format.formatter -> error_kind -> unit

exception Translator_benchmark_error of error_kind

val global_error : 
  Tezos_benchmark.Namespace.t ->
  Tezos_base.TzPervasives.tztrace ->
  'a

val bad_data : 
  Tezos_benchmark.Namespace.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr ->
  phase ->
  'a

val bad_code : 
  Tezos_benchmark.Namespace.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr list ->
  phase ->
  'a

val strict : 
  Tezos_protocol_alpha.Protocol.Script_ir_translator_config.elab_config

module Typechecking_data : Tezos_benchmark.Benchmark.S

module Unparsing_data : Tezos_benchmark.Benchmark.S

module Typechecking_code : Tezos_benchmark.Benchmark.S

module Unparsing_code : Tezos_benchmark.Benchmark.S

val check_printable_ascii : string -> int -> bool

val check_printable_benchmark : 
  (module Tezos_benchmark.Benchmark.Simple_with_num)

module Ty_eq : Benchmarks_proto.Benchmark.S

val dummy_type_generator : 
  int ->
  Tezos_protocol_alpha.Protocol.Script_typed_ir.ex_ty

val dummy_comparable_type_generator : 
  int ->
  Tezos_protocol_alpha.Protocol.Script_ir_translator.ex_comparable_ty

module Parse_type_shared : sig ... end

val parse_ty : 
  Tezos_raw_protocol_alpha.Alpha_context.context ->
  Tezos_raw_protocol_alpha.Alpha_context.Script.node ->
  (Tezos_raw_protocol_alpha.Script_typed_ir.ex_ty
   * Tezos_raw_protocol_alpha.Alpha_context.context)
    Tezos_protocol_environment_alpha.Error_monad.tzresult

val unparse_ty : 
  Tezos_raw_protocol_alpha.Alpha_context.context ->
  ('a, 'b) Tezos_raw_protocol_alpha.Script_typed_ir.ty ->
  (int Tezos_raw_protocol_alpha.Alpha_context.Script.michelson_node
   * Tezos_raw_protocol_alpha.Alpha_context.context,
    Tezos_protocol_environment_alpha.Error_monad.error
      Tezos_protocol_environment_alpha.Error_monad.trace)
    Tezos_protocol_environment_alpha.Pervasives.result

module Parse_type_benchmark : Benchmarks_proto.Benchmark.S

module Unparse_type_benchmark : Benchmarks_proto.Benchmark.S

Script_ir_translator benchmarks

`Script_ir_translator` benchmarks