type t = step
The type for update steps.
val create : unit -> step
create () is a new update step.
create ()
val execute : step -> unit
execute step executes the update step.
execute step
if step was already executed.
step