let
clear () =
IH
.clear states