let
clear () = ()