let
clear () =
IH
.clear
Param
.states