Module Rewrite_rule.Set

module Set: sig .. end

type t

val empty : t

val is_empty : t -> bool

val add_stmt : Libzipperposition.Statement.clause_t ->
       t -> t

add_stmt st set adds rewrite rules from st to set, if any

val pp : t CCFormat.printer