Module Wp.Cleaning

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