Module Generic_util.Misc

module Misc: Generic_util_misc
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 = ()