let clear () = ()