Run._val route : Core.addr -> stringval abs_path : Core.addr -> string optionval is_root : Core.addr -> boolval backlinks : Core.addr -> Core.Sem.doc listval bibliography : Core.addr -> Core.Sem.doc listval parents : Core.addr -> Core.Sem.doc listval contributors : Core.addr -> string listval contributions : Core.addr -> Core.Sem.doc listval get_doc : Core.addr -> Core.Sem.doc option