sig
type t
val empty : Rewrite_rule.Set.t
val is_empty : Rewrite_rule.Set.t -> bool
val add_stmt :
Libzipperposition.Statement.clause_t ->
Rewrite_rule.Set.t -> Rewrite_rule.Set.t
val pp : Rewrite_rule.Set.t CCFormat.printer
end