Timed
This module provides alternative functions for updating references (that is, terms of type 'a ref
) and enables the restoration of a previously saved state by "undoing" the updates.
module Time : sig ... end
This function can be used to update a reference, which recording the changes. This is done transparently, so this function can be used as the usual update function.
Incrementation function for a reference of type int
. The update is again transparently recorded.
Apply the given function to the given argument while taking care of rolling back possible changes to the state of references.