let
clear () =
ShowDefState
.clear()