sig
type usage
val create : unit -> Cleaning.usage
val as_atom : Cleaning.usage -> Lang.F.pred -> unit
val as_type : Cleaning.usage -> Lang.F.pred -> unit
val as_have : Cleaning.usage -> Lang.F.pred -> unit
val as_init : Cleaning.usage -> Lang.F.pred -> unit
val filter_type : Cleaning.usage -> Lang.F.pred -> Lang.F.pred
val filter_pred : Cleaning.usage -> Lang.F.pred -> Lang.F.pred
end