Previous
Up
Next
Module
Generic_util_misc
module
Generic_util_misc:
sig
..
end
Miscellaneous definitions.
val
erase
:
'a -> unit
erase x
is used when only the side effects of a computation are needed, not its value.
erase x = ()