Class type Js_of_ocaml__Dom_html.undoManager

Undo manager