let
node_valid (dr: node_ref) (b: b)
: bool =
List
.mem_assoc dr b.browser_nodes