Std.Ui.History.redo

fn

redo: &Std.Ui.History.History[S] -> Std.Ui.History.History[S]

The history one step forward, or unchanged when nothing can be redone.