let rec node_page (dr: node_ref) (b: b) : page_ref option = begin match node_parent dr b with | No_parent -> None | Page_parent(pr) -> Some(pr) | Parent_node(dr1) -> node_page dr1 b end