let
clearMemos () =
IH
.clear rhsHtbl;
Hashtbl
.clear iRDsHtbl