let render_page (pr: page_ref) (b: b)
: rendered_doc option =
assert (page_valid pr b);
begin match (page_assoc_valid pr b).page_document with
| None -> None
| Some(dr) ->
begin match render_doc_as_list dr b with
| [] -> None
| rd :: _ -> Some(rd)
end
end