Data_rewrite_leaves (mavryk-benchmark-alpha.Mavryk_benchmark_alpha.Rules.Data_rewrite

Parameters

module Michelson_base : Michelson_samplers_base.S

module Crypto_samplers : Mavryk_benchmark.Crypto_samplers.Finite_key_pool_S

Signature

val hole_patt : Kernel.Patt.t

val match_hole : pattern

val match_int : pattern

val match_list : pattern

val match_set : pattern

val match_map : pattern

val match_timestamp : pattern

val match_mumav : pattern

val match_key_hash : pattern

val match_int_mumav_timestamp_key_hash_key_or_none : pattern

val match_empty_list_set_or_map : pattern

val match_empty_pair : pattern

val match_empty_some_left_or_right : pattern

val match_none : pattern

val alpha : int

val beta : int

val replacement : 
  fresh:int list ->
  typ:Mavryk_benchmark_type_inference_alpha.Type.Base.t ->
  replacement:Mavryk_benchmark_type_inference_alpha.Mikhailsky.node ->
  guarded_replacement

val replacement_gen : 
  fresh:int list ->
  typ:Mavryk_benchmark_type_inference_alpha.Type.Base.t ->
  replacement:(unit -> Mavryk_benchmark_type_inference_alpha.Mikhailsky.node) ->
  guarded_replacement

val fill_in_hole : Stdlib.Random.State.t -> rule_set

val kill_empty_pair : rule_set

val kill_int_mumav_timestamp_key_hash_none : rule_set

val kill_empty_list_set_or_map : rule_set

val kill_empty_some_left_or_right : rule_set

val modify_set : rule_set

val modify_map : rule_set

val modify_list : rule_set

val rules : Stdlib.Random.State.t -> rule_set list