HistoryChange (Navs)

HistoryChange Type

Record Field	Description
`Entry` Full Usage: `Entry` Field type: `HistoryEntry`	Field type: `HistoryEntry`
`Kind` Full Usage: `Kind` Field type: `HistoryChangeKind`	Field type: `HistoryChangeKind`
`Previous` Full Usage: `Previous` Field type: `HistoryEntry option`	Field type: `HistoryEntry option`