module Misc: Generic_util_misc
Generic_util_misc
val erase : 'a -> unit
'a -> unit
erase x
erase x = ()