HistoryAPI
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 History on MDN
typehistory= {length:int,mutablescrollRestoration:scrollRestoration,state:JSON.t,}Record fields
Module
There are methods and helpers defined in History.
scrollRestoration
typescrollRestoration=| @as("auto")Auto| @as("manual")Manual