Module Mavryk_shell_benchmarks.Micheline_benchmarks

type width_function = depth:int -> int Mavryk_benchmark.Base_samplers.sampler
type node = (int, unit) Mavryk_micheline.Micheline.node
type node_kind =
  1. | Int_node
  2. | String_node
  3. | Bytes_node
  4. | Seq_node
  5. | Prim_node
val all_kinds : node_kind array
val sample_string : 'a -> string
val sample_bytes : 'a -> bytes
val sample_z : 'a -> Z.t
val reasonable_width_function : depth:int -> Stdlib.Random.State.t -> int
val sample : Stdlib.Random.State.t -> (int, unit) Mavryk_micheline.Micheline.node
type size = {
  1. nodes : int;
  2. bytes : int;
}
val int : Z.t -> size
val string : string -> size
val bytes : bytes -> size
val node : size
val (@+) : size -> size -> size
val micheline_size : node -> size