Translator_benchmarks (mavryk-benchmarks-proto-alpha.Mavryk_benchmarks_proto_alpha.Translator

module Encodings : sig ... end

val group : Mavryk_benchmark.Benchmark.group

module Size = Mavryk_protocol_alpha.Protocol.Gas_input_size

val ns : Mavryk_benchmark.Namespace.cons

val fv : string -> Mavryk_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 : Mavryk_benchmark.Namespace.t;
2. workload : Mavryk_base.TzPervasives.tztrace;
}
| Bad_data of {
1. benchmark_name : Mavryk_benchmark.Namespace.t;
2. micheline : Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr;
3. expected_type : Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr;
4. phase : phase;
}
| Bad_code of {
1. benchmark_name : Mavryk_benchmark.Namespace.t;
2. micheline : Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr;
3. expected_stack_type : Mavryk_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 ->
  Mavryk_base.TzPervasives.Error_monad.error list ->
  unit

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

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

exception Translator_benchmark_error of error_kind

val global_error : 
  Mavryk_benchmark.Namespace.t ->
  Mavryk_base.TzPervasives.tztrace ->
  'a

val bad_data : 
  Mavryk_benchmark.Namespace.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.expr ->
  phase ->
  'a

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

val strict : 
  Mavryk_protocol_alpha.Protocol.Script_ir_translator_config.elab_config

module Typechecking_data : Mavryk_benchmark.Benchmark.S

module Unparsing_data : Mavryk_benchmark.Benchmark.S

module Typechecking_code : Mavryk_benchmark.Benchmark.S

module Unparsing_code : Mavryk_benchmark.Benchmark.S

val check_printable_ascii : string -> int -> bool

val check_printable_benchmark : 
  (module Mavryk_benchmark.Benchmark.Simple_with_num)

module Ty_eq : Benchmarks_proto.Benchmark.S

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

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

module Parse_type_shared : sig ... end

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

val unparse_ty : 
  Mavryk_raw_protocol_alpha.Alpha_context.context ->
  ('a, 'b) Mavryk_raw_protocol_alpha.Script_typed_ir.ty ->
  (int Mavryk_raw_protocol_alpha.Alpha_context.Script.michelson_node
   * Mavryk_raw_protocol_alpha.Alpha_context.context,
    Mavryk_protocol_environment_alpha.Error_monad.error
      Mavryk_protocol_environment_alpha.Error_monad.trace)
    Mavryk_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