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