| digraph block { | |
| N0[label="entry"]; | |
| N1[label="exit"]; | |
| N2[label="expr 6"]; | |
| N3[label="expr S6{val: 6,}"]; | |
| N4[label="local _x"]; | |
| N5[label="pat S6 { val: _x }"]; | |
| N6[label="stmt let S6 { val: _x } = S6{val: 6,};"]; | |
| N7[label="block { let S6 { val: _x } = S6{val: 6,}; }"]; | |
| N0 -> N2; | |
| N2 -> N3; | |
| N3 -> N4; | |
| N4 -> N5; | |
| N5 -> N6; | |
| N6 -> N7; | |
| N7 -> N1; | |
| } |