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

module Size = Mavryk_protocol_alpha.Protocol.Gas_input_size

type kind =

| Parsing
| Unparsing

type code_or_data =

| Code
| Data

type t =

| Typechecker_workload of {
1. t_kind : kind;
2. code_or_data : code_or_data;
3. micheline_size : Size.micheline_size;
4. consumed : Size.t;
}

val kind_encoding : kind Mavryk_base.TzPervasives.Data_encoding.t

val code_or_data_encoding : 
  code_or_data Mavryk_base.TzPervasives.Data_encoding.t

val encoding : t Mavryk_base.TzPervasives.Data_encoding.t

val pp_kind : Stdlib.Format.formatter -> kind -> unit

val pp_code_or_data : Stdlib.Format.formatter -> code_or_data -> unit

val pp : Stdlib.Format.formatter -> t -> unit

val workload_to_sparse_vec : t -> Mavryk_benchmark.Sparse_vec.String.t

val data_typechecker_workload : 
  Mavryk_raw_protocol_alpha__Alpha_context.t ->
  kind ->
  Mavryk_raw_protocol_alpha.Alpha_context.Script.node ->
  Mavryk_protocol_alpha.Protocol.Script_typed_ir.ex_ty ->
  t option

val code_typechecker_workload : 
  Mavryk_protocol_alpha.Protocol.Alpha_context.context ->
  kind ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Script.node ->
  Mavryk_protocol_alpha.Protocol.Script_ir_translator.ex_stack_ty ->
  t option