Module Rules.Data

Parameters

Signature

val match_data_node : pattern
val match_list : pattern
val match_data_hole : pattern
val replace_by_hole : rule_set
val pack_root : rule_set
module Data_rewrite_leaves_rules : sig ... end
val rules : Stdlib.Random.State.t -> rule_set list