let clear () = Pscope.clear(); Pscope_warn.clear()