History
Types
history
Allows manipulation of the browser session history, that is the pages visited in the tab or frame that the current page is loaded in. See WebApiHistory on MDN TODO: mark as private once mutating fields of private records is allowed
type history = { length: int, mutable scrollRestoration: scrollRestoration, state: JSON.t,}Record fields
scrollRestoration
type scrollRestoration = | @as("auto") Auto | @as("manual") Manual