and node_kind = | Enter| Exit| TrueNode| FalseNode| IfHeader of Cst_php.expr| WhileHeader of Cst_php.expr| DoHeader| DoWhileTail of Cst_php.expr| ForHeader| ForeachHeader| SwitchHeader of Cst_php.expr| SwitchEnd| Case| Default| Return of Cst_php.expr option| Break| Continue| TryHeader| CatchStart| Catch| TryEnd| Throw of Cst_php.expr| Join| Parameter of Cst_php.dname| SimpleStmt of simple_stmttype flow = (node, edge) Ograph_extended.ograph_mutableval find_node : (node -> bool) -> flow -> Ograph_extended.nodeival find_enter : flow -> Ograph_extended.nodeival find_exit : flow -> Ograph_extended.nodeival first_node : flow -> Ograph_extended.nodeival display_flow : flow -> unitval short_string_of_node_kind : node_kind -> stringval short_string_of_node : node -> string