let page_update (pr: page_ref) (p: page) (b: b) : b = let pages' = upd_assoc pr p b.browser_pages in { b with browser_pages = pages' }