Cargo.toml

[package]
name = "sqlx-test-case"
version = "0.1.0"
edition = "2021"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]
dotenvy = "0.15.7"
tokio = { version = "1.37.0", features = ["macros", "rt-multi-thread"] }

sqlx = { git = "https://github.com/launchbadge/sqlx" }
sqlx-sqlite = { git = "https://github.com/launchbadge/sqlx" }
env_logger = "0.11.3"

example explain dump

RUST_LOG="trace" cargo +nightly run

graphviz_min_minimized.dot

    digraph {
    subgraph operations {
    style="rounded";
    node [shape="point"];
    subgraph cluster_0 { label="(0, 'Init', 0, 44, 0, [])";
    i0[style=invis];"b0p0"[tooltip="next:44"];}
    subgraph cluster_1 { label="(1, 'SorterOpen', 1, 2, 0, [107, 40, 49, 44, 66, 41])";
    i1[style=invis];subgraph "cluster_i1s0" {
    label="p[1]=Some(Normal(1))\nt[1]=Some(TableDataType { cols: IntMap([Some(Null NULL), Some(Null NULL)]), is_empty: Some(true) })"
    "b0p3"[tooltip="next:2"];}
    }
    subgraph cluster_2 { label="(2, 'Integer', 0, 2, 0, [])";
    i2[style=invis];subgraph "cluster_i2s0" {
    label="r[2]=Some(Int(0))"
    "b0p4"[tooltip="next:3"];}
    }
    subgraph cluster_3 { label="(3, 'Null', 0, 5, 5, [])";
    i3[style=invis];subgraph "cluster_i3s0" {
    label="r[5]=Some(Single(Null NULL))"
    "b0p5"[tooltip="next:4"];}
    }
    subgraph cluster_4 { label="(4, 'Gosub', 4, 40, 0, [])";
    i4[style=invis];subgraph "cluster_i4s0" {
    label="r[4]=Some(Int(4))"
    "b0p6"[tooltip="next:40"];}
    }
    subgraph cluster_5 { label="(5, 'OpenRead', 0, 4, 0, [50])";
    i5[style=invis];subgraph "cluster_i5s0" {
    label="p[0]=Some(Normal(5))\nt[5]=Some(TableDataType { cols: IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]), is_empty: None })"
    "b0p10"[tooltip="next:6"];}
    }
    subgraph cluster_6 { label="(6, 'Rewind', 0, 12, 0, [])";
    i6[style=invis];"b0p11";"b0p11"[tooltip="next:7"];subgraph "cluster_i6s1" {
    label="t[5]=Some(TableDataType { cols: IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]), is_empty: Some(true) })"
    "b0p11_b1p0"[tooltip="next:12"];}
    }
    subgraph cluster_7 { label="(7, 'Column', 0, 0, 10, [])";
    i7[style=invis];"b2p0"[tooltip="next:8"];subgraph "cluster_i7s1" {
    label="r[10]=Some(Single(Text NOT NULL))"
    "b0p12"[tooltip="next:8"];}
    }
    subgraph cluster_8 { label="(8, 'Column', 0, 1, 11, [])";
    i8[style=invis];"b2p1"[tooltip="next:9"];subgraph "cluster_i8s1" {
    label="r[11]=Some(Single(Integer NOT NULL))"
    "b0p13"[tooltip="next:9"];}
    }
    subgraph cluster_9 { label="(9, 'MakeRecord', 10, 2, 12, [])";
    i9[style=invis];"b2p2"[tooltip="next:10"];subgraph "cluster_i9s1" {
    label="r[12]=Some(Single(Record(Some(Text NOT NULL), Some(Integer NOT NULL))))"
    "b0p14"[tooltip="next:10"];}
    }
    subgraph cluster_10 { label="(10, 'SorterInsert', 1, 12, 0, [])";
    i10[style=invis];"b2p3"[tooltip="next:11"];subgraph "cluster_i10s1" {
    label="t[1]=Some(TableDataType { cols: IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]), is_empty: Some(false) })"
    "b0p15"[tooltip="next:11"];}
    }
    subgraph cluster_11 { label="(11, 'Next', 0, 7, 0, [])";
    i11[style=invis];"b2p4";"b0p16";"b2p4"[tooltip="next:12"];"b0p16"[tooltip="next:12"];"b0p16"[tooltip="next:7"];}
    subgraph cluster_12 { label="(12, 'OpenPseudo', 2, 12, 2, [])";
    i12[style=invis];subgraph "cluster_i12s0" {
    label="p[2]=Some(Pseudo(12))"
    "b1p0"[tooltip="next:13"];"b0p17"[tooltip="next:13"];"b2p5"[tooltip="next:13"];}
    }
    subgraph cluster_13 { label="(13, 'SorterSort', 1, 43, 0, [])";
    i13[style=invis];"b1p1";"b0p18"[tooltip="next:14"];"b2p6"[tooltip="next:14"];"b1p1";"b1p1"[tooltip="next:43"];}
    subgraph cluster_14 { label="(14, 'SorterData', 1, 12, 2, [])";
    i14[style=invis];"b19p0"[tooltip="next:15"];"b0p19"[tooltip="next:15"];"b59p0"[tooltip="next:15"];"b7p0"[tooltip="next:15"];"b98p0"[tooltip="next:15"];"b69p0";"b47p0"[tooltip="next:15"];"b2p7"[tooltip="next:15"];"b75p0"[tooltip="next:15"];"b28p0";"b33p0"[tooltip="next:15"];"b88p0"[tooltip="next:15"];}
    subgraph cluster_15 { label="(15, 'Column', 2, 0, 6, [])";
    i15[style=invis];"b33p1"[tooltip="next:16"];"b75p1"[tooltip="next:16"];"b98p1"[tooltip="next:16"];"b88p1"[tooltip="next:16"];subgraph "cluster_i15s1" {
    label="r[6]=Some(Single(Text NOT NULL))"
    "b0p20"[tooltip="next:16"];"b59p1"[tooltip="next:16"];"b2p8"[tooltip="next:16"];"b47p1"[tooltip="next:16"];"b19p1"[tooltip="next:16"];"b7p1"[tooltip="next:16"];}
    }
    subgraph cluster_16 { label="(16, 'Compare', 5, 6, 1, [107, 40, 49, 44, 66, 41])" style=dashed;
    i16[style=invis];"b59p2"[tooltip="next:17"];"b75p2"[tooltip="next:17"];"b7p2"[tooltip="next:17"];"b2p9"[tooltip="next:17"];"b98p2"[tooltip="next:17"];"b33p2"[tooltip="next:17"];"b47p2"[tooltip="next:17"];"b88p2"[tooltip="next:17"];"b0p21"[tooltip="next:17"];"b19p2"[tooltip="next:17"];}
    subgraph cluster_17 { label="(17, 'Jump', 18, 22, 18, [])";
    i17[style=invis];"b59p3";"b33p3";"b98p3";"b7p3";"b88p3";"b47p3";"b19p3";"b0p22";"b75p3";"b2p10";"b59p3"[tooltip="next:18"];"b59p3"[tooltip="next:18"];"b59p3"[tooltip="next:22"];"b33p3"[tooltip="next:18"];"b98p3"[tooltip="next:18"];"b98p3"[tooltip="next:18"];"b98p3"[tooltip="next:22"];"b7p3"[tooltip="next:18"];"b7p3"[tooltip="next:18"];"b7p3"[tooltip="next:22"];"b88p3"[tooltip="next:18"];"b88p3"[tooltip="next:18"];"b88p3"[tooltip="next:22"];"b47p3"[tooltip="next:18"];"b47p3"[tooltip="next:18"];"b47p3"[tooltip="next:22"];"b19p3"[tooltip="next:18"];"b19p3"[tooltip="next:18"];"b19p3"[tooltip="next:22"];"b0p22"[tooltip="next:18"];"b0p22"[tooltip="next:18"];"b0p22"[tooltip="next:22"];"b75p3"[tooltip="next:18"];"b2p10"[tooltip="next:18"];}
    subgraph cluster_18 { label="(18, 'Move', 6, 5, 1, [])";
    i18[style=invis];subgraph "cluster_i18s0" {
    label="r[5]=Some(Single(Text NOT NULL))\nr[6]=Some(Single(Null NULL))"
    "b2p11"[tooltip="next:19"];"b91p0"[tooltip="next:19"];"b98p4"[tooltip="next:19"];"b101p0"[tooltip="next:19"];"b88p4"[tooltip="next:19"];"b3p0"[tooltip="next:19"];"b0p23"[tooltip="next:19"];}
    subgraph "cluster_i18s1" {
    label="r[6]=Some(Single(Null NULL))"
    "b10p0"[tooltip="next:19"];"b19p4"[tooltip="next:19"];"b50p0"[tooltip="next:19"];"b75p4"[tooltip="next:19"];"b33p4"[tooltip="next:19"];"b62p0"[tooltip="next:19"];"b22p0"[tooltip="next:19"];"b7p4"[tooltip="next:19"];"b47p4"[tooltip="next:19"];"b59p4"[tooltip="next:19"];}
    }
    subgraph cluster_19 { label="(19, 'Gosub', 3, 33, 0, [])";
    i19[style=invis];subgraph "cluster_i19s0" {
    label="r[3]=Some(Int(19))"
    "b62p1"[tooltip="next:33"];"b3p1"[tooltip="next:33"];"b101p1"[tooltip="next:33"];"b2p12"[tooltip="next:33"];"b19p5"[tooltip="next:33"];"b47p5"[tooltip="next:33"];"b91p1"[tooltip="next:33"];"b0p24"[tooltip="next:33"];"b75p5"[tooltip="next:33"];"b33p5"[tooltip="next:33"];"b59p5"[tooltip="next:33"];"b7p5"[tooltip="next:33"];"b10p1"[tooltip="next:33"];"b98p5"[tooltip="next:33"];"b50p1"[tooltip="next:33"];"b22p1"[tooltip="next:33"];"b88p5"[tooltip="next:33"];}
    }
    subgraph cluster_20 { label="(20, 'IfPos', 2, 43, 0, [])";
    i20[style=invis];"b19p8";"b75p8";"b17p1";"b47p8";"b56p1";"b22p4";"b50p4";"b62p4";"b33p8";"b59p8";"b10p4";"b7p8";"b19p8"[tooltip="next:21"];"b75p8"[tooltip="next:21"];"b0p27"[tooltip="next:21"];"b2p15"[tooltip="next:21"];"b17p1"[tooltip="next:21"];"b47p8"[tooltip="next:21"];"b56p1"[tooltip="next:21"];"b22p4"[tooltip="next:21"];"b50p4"[tooltip="next:21"];"b62p4"[tooltip="next:21"];"b3p4"[tooltip="next:21"];"b33p8"[tooltip="next:21"];"b59p8"[tooltip="next:21"];"b10p4"[tooltip="next:21"];"b7p8"[tooltip="next:21"];subgraph "cluster_i20s1" {
    label="r[2]=Some(Int(-1))"
    "b19p8_b26p0"[tooltip="next:43"];"b17p1_b18p0"[tooltip="next:43"];"b47p8_b54p0"[tooltip="next:43"];"b56p1_b57p0"[tooltip="next:43"];"b59p8_b66p0"[tooltip="next:43"];"b7p8_b14p0"[tooltip="next:43"];}
    }
    subgraph cluster_21 { label="(21, 'Gosub', 4, 40, 0, [])";
    i21[style=invis];subgraph "cluster_i21s0" {
    label="r[4]=Some(Int(21))"
    "b50p5"[tooltip="next:40"];"b10p5"[tooltip="next:40"];"b19p9"[tooltip="next:40"];"b3p5"[tooltip="next:40"];"b17p2"[tooltip="next:40"];"b7p9"[tooltip="next:40"];"b22p5"[tooltip="next:40"];"b33p9"[tooltip="next:40"];"b75p9"[tooltip="next:40"];"b0p28"[tooltip="next:40"];"b59p9"[tooltip="next:40"];"b47p9"[tooltip="next:40"];"b2p16"[tooltip="next:40"];"b56p2"[tooltip="next:40"];"b62p5"[tooltip="next:40"];}
    }
    subgraph cluster_22 { label="(22, 'Column', 2, 1, 13, [])";
    i22[style=invis];"b47p13"[tooltip="next:23"];"b33p13"[tooltip="next:23"];"b17p6"[tooltip="next:23"];"b7p13"[tooltip="next:23"];"b23p0"[tooltip="next:23"];"b11p0"[tooltip="next:23"];"b50p9"[tooltip="next:23"];"b102p0"[tooltip="next:23"];"b63p0"[tooltip="next:23"];"b92p0"[tooltip="next:23"];"b56p6"[tooltip="next:23"];"b75p13"[tooltip="next:23"];"b51p0"[tooltip="next:23"];"b10p9"[tooltip="next:23"];subgraph "cluster_i22s1" {
    label="r[13]=Some(Single(Integer NOT NULL))"
    "b0p32"[tooltip="next:23"];"b3p9"[tooltip="next:23"];"b2p20"[tooltip="next:23"];"b4p0"[tooltip="next:23"];}
    }
    subgraph cluster_23 { label="(23, 'CollSeq', 14, 0, 0, [66, 73, 78, 65, 82, 89, 45, 56])" style=dashed;
    i23[style=invis];"b3p10"[tooltip="next:24"];"b102p1"[tooltip="next:24"];"b51p1"[tooltip="next:24"];"b23p1"[tooltip="next:24"];"b63p1"[tooltip="next:24"];"b33p14"[tooltip="next:24"];"b17p7"[tooltip="next:24"];"b2p21"[tooltip="next:24"];"b4p1"[tooltip="next:24"];"b7p14"[tooltip="next:24"];"b11p1"[tooltip="next:24"];"b10p10"[tooltip="next:24"];"b50p10"[tooltip="next:24"];"b75p14"[tooltip="next:24"];"b56p7"[tooltip="next:24"];"b47p14"[tooltip="next:24"];"b92p1"[tooltip="next:24"];"b0p33"[tooltip="next:24"];}
    subgraph cluster_24 { label="(24, 'AggStep', 0, 13, 9, [109, 105, 110, 40, 49, 41])";
    i24[style=invis];"b102p2"[tooltip="next:25"];"b51p2"[tooltip="next:25"];"b23p2"[tooltip="next:25"];"b11p2"[tooltip="next:25"];"b92p2"[tooltip="next:25"];"b63p2"[tooltip="next:25"];subgraph "cluster_i24s1" {
    label="r[9]=Some(Single(Integer NOT NULL))"
    "b4p2"[tooltip="next:25"];"b17p8"[tooltip="next:25"];"b33p15"[tooltip="next:25"];"b47p15"[tooltip="next:25"];"b2p22"[tooltip="next:25"];"b0p34"[tooltip="next:25"];"b75p15"[tooltip="next:25"];"b56p8"[tooltip="next:25"];"b7p15"[tooltip="next:25"];"b3p11"[tooltip="next:25"];"b50p11"[tooltip="next:25"];"b10p11"[tooltip="next:25"];}
    }
    subgraph cluster_25 { label="(25, 'If', 14, 27, 0, [])";
    i25[style=invis];"b51p3";"b47p16";"b56p9";"b50p12";"b3p12";"b2p23";"b0p35";"b4p3";"b75p16";"b102p3";"b63p3";"b51p3";"b51p3"[tooltip="next:27"];"b7p16"[tooltip="next:26"];"b11p3"[tooltip="next:26"];"b92p3"[tooltip="next:26"];"b47p16";"b33p16"[tooltip="next:26"];"b56p9";"b56p9"[tooltip="next:27"];"b50p12";"b17p9"[tooltip="next:26"];"b75p16";"b10p12"[tooltip="next:26"];"b102p3";"b102p3"[tooltip="next:27"];"b63p3";"b63p3"[tooltip="next:27"];"b23p3"[tooltip="next:26"];subgraph "cluster_i25s1" {
    label="r[14]=Some(Int(0))"
    "b3p12"[tooltip="next:26"];"b2p23"[tooltip="next:26"];"b0p35"[tooltip="next:26"];"b4p3"[tooltip="next:26"];}
    subgraph "cluster_i25s2" {
    label="r[14]=Some(Int(1))"
    "b0p35_b6p0"[tooltip="next:27"];"b4p3_b87p0"[tooltip="next:27"];}
    }
    subgraph cluster_26 { label="(26, 'Column', 2, 0, 7, [])";
    i26[style=invis];"b23p4"[tooltip="next:27"];"b11p4"[tooltip="next:27"];"b92p4"[tooltip="next:27"];subgraph "cluster_i26s1" {
    label="r[7]=Some(Single(Text NOT NULL))"
    "b33p17"[tooltip="next:27"];"b10p13"[tooltip="next:27"];"b0p36"[tooltip="next:27"];"b3p13"[tooltip="next:27"];"b2p24"[tooltip="next:27"];"b17p10"[tooltip="next:27"];"b4p4"[tooltip="next:27"];"b7p17"[tooltip="next:27"];}
    }
    subgraph cluster_27 { label="(27, 'Integer', 1, 1, 0, [])";
    i27[style=invis];"b11p5"[tooltip="next:28"];"b105p0"[tooltip="next:28"];"b74p0"[tooltip="next:28"];"b92p5"[tooltip="next:28"];"b68p0"[tooltip="next:28"];"b23p5"[tooltip="next:28"];subgraph "cluster_i27s1" {
    label="r[1]=Some(Int(1))"
    "b33p18"[tooltip="next:28"];"b10p14"[tooltip="next:28"];"b0p37"[tooltip="next:28"];"b17p11"[tooltip="next:28"];"b58p0"[tooltip="next:28"];"b4p5"[tooltip="next:28"];"b2p25"[tooltip="next:28"];"b6p0"[tooltip="next:28"];"b7p18"[tooltip="next:28"];"b87p0"[tooltip="next:28"];"b3p14"[tooltip="next:28"];}
    }
    subgraph cluster_28 { label="(28, 'SorterNext', 1, 14, 0, [])";
    i28[style=invis];"b7p19";"b2p26";"b74p1";"b3p15";"b4p6";"b17p12";"b105p1";"b6p1";"b87p1";"b58p1";"b92p6";"b68p1";"b0p38";"b11p6";"b10p15";"b33p19";"b23p6";"b7p19"[tooltip="next:29"];"b2p26"[tooltip="next:29"];"b74p1"[tooltip="next:29"];"b74p1"[tooltip="next:14"];"b3p15"[tooltip="next:29"];"b4p6"[tooltip="next:29"];"b4p6"[tooltip="next:14"];"b17p12"[tooltip="next:29"];"b17p12"[tooltip="next:14"];"b105p1"[tooltip="next:29"];"b6p1"[tooltip="next:29"];"b6p1"[tooltip="next:14"];"b87p1"[tooltip="next:29"];"b87p1"[tooltip="next:14"];"b58p1"[tooltip="next:29"];"b58p1"[tooltip="next:14"];"b92p6"[tooltip="next:29"];"b68p1"[tooltip="next:29"];"b68p1"[tooltip="next:14"];"b0p38"[tooltip="next:29"];"b0p38"[tooltip="next:14"];"b11p6"[tooltip="next:29"];"b11p6"[tooltip="next:14"];"b10p15"[tooltip="next:29"];"b33p19"[tooltip="next:29"];"b23p6"[tooltip="next:29"];"b23p6"[tooltip="next:14"];}
    subgraph cluster_29 { label="(29, 'Gosub', 3, 33, 0, [])";
    i29[style=invis];subgraph "cluster_i29s0" {
    label="r[3]=Some(Int(29))"
    "b2p27"[tooltip="next:33"];"b10p16"[tooltip="next:33"];"b4p7"[tooltip="next:33"];"b23p7"[tooltip="next:33"];"b17p13"[tooltip="next:33"];"b87p2"[tooltip="next:33"];"b33p20"[tooltip="next:33"];"b3p16"[tooltip="next:33"];"b68p2"[tooltip="next:33"];"b6p2"[tooltip="next:33"];"b0p39"[tooltip="next:33"];"b105p2"[tooltip="next:33"];"b58p2"[tooltip="next:33"];"b74p2"[tooltip="next:33"];"b7p20"[tooltip="next:33"];"b92p7"[tooltip="next:33"];"b11p7"[tooltip="next:33"];}
    }
    subgraph cluster_30 { label="(30, 'Goto', 0, 43, 0, [])";
    i30[style=invis];"b17p16"[tooltip="next:43"];"b30p1"[tooltip="next:43"];"b90p1"[tooltip="next:43"];"b9p1"[tooltip="next:43"];"b6p5"[tooltip="next:43"];"b2p30"[tooltip="next:43"];"b49p1"[tooltip="next:43"];"b58p5"[tooltip="next:43"];"b10p19"[tooltip="next:43"];"b71p1"[tooltip="next:43"];"b11p10"[tooltip="next:43"];"b23p10"[tooltip="next:43"];"b0p42"[tooltip="next:43"];"b74p5"[tooltip="next:43"];"b7p23"[tooltip="next:43"];"b3p19"[tooltip="next:43"];"b100p1"[tooltip="next:43"];"b33p23"[tooltip="next:43"];"b68p5"[tooltip="next:43"];}
    subgraph cluster_31 { label="(31, 'Integer', 1, 2, 0, [])";
    i31[style=invis];i30->i31[style=invis];}
    subgraph cluster_32 { label="(32, 'Return', 3, 0, 0, [])";
    i32[style=invis];i31->i32[style=invis];}
    subgraph cluster_33 { label="(33, 'IfPos', 1, 35, 0, [])";
    i33[style=invis];"b91p2";"b87p3";"b50p2";"b7p21";"b3p17";"b59p6";"b22p2";"b23p8";"b17p14";"b88p6";"b68p3";"b47p6";"b105p3";"b33p21";"b98p6";"b101p2";"b6p3";"b7p6";"b4p8";"b75p6";"b19p6";"b92p8";"b33p6";"b62p2";"b2p28";"b10p2";"b74p3";"b58p3";"b0p40";"b10p17";"b11p8";"b91p2";"b3p2"[tooltip="next:34"];"b87p3";"b88p6";"b105p3";"b98p6";"b101p2";"b0p25"[tooltip="next:34"];"b4p8";"b92p8";"b2p13"[tooltip="next:34"];subgraph "cluster_i33s1" {
    label="r[1]=Some(Int(0))"
    "b87p3_b99p0"[tooltip="next:35"];"b59p6_b65p0"[tooltip="next:35"];"b23p8_b29p0"[tooltip="next:35"];"b17p14_b20p0"[tooltip="next:35"];"b68p3_b70p0"[tooltip="next:35"];"b47p6_b53p0"[tooltip="next:35"];"b6p3_b48p0"[tooltip="next:35"];"b7p6_b13p0"[tooltip="next:35"];"b4p8_b89p0"[tooltip="next:35"];"b19p6_b25p0"[tooltip="next:35"];"b74p3_b76p0"[tooltip="next:35"];"b58p3_b60p0"[tooltip="next:35"];"b0p40_b8p0"[tooltip="next:35"];"b11p8_b34p0"[tooltip="next:35"];}
    subgraph "cluster_i33s2" {
    label="r[1]=Some(Single(Integer NOT NULL))"
    "b50p2"[tooltip="next:34"];"b7p21"[tooltip="next:34"];"b3p17"[tooltip="next:34"];"b59p6"[tooltip="next:34"];"b22p2"[tooltip="next:34"];"b23p8"[tooltip="next:34"];"b17p14"[tooltip="next:34"];"b68p3"[tooltip="next:34"];"b47p6"[tooltip="next:34"];"b33p21"[tooltip="next:34"];"b6p3"[tooltip="next:34"];"b7p6"[tooltip="next:34"];"b75p6"[tooltip="next:34"];"b19p6"[tooltip="next:34"];"b33p6"[tooltip="next:34"];"b62p2"[tooltip="next:34"];"b2p28"[tooltip="next:34"];"b10p2"[tooltip="next:34"];"b74p3"[tooltip="next:34"];"b58p3"[tooltip="next:34"];"b0p40"[tooltip="next:34"];"b10p17"[tooltip="next:34"];"b11p8"[tooltip="next:34"];}
    }
    subgraph cluster_34 { label="(34, 'Return', 3, 0, 0, [])";
    i34[style=invis];subgraph "cluster_i34s0" {
    label="r[3]=None"
    "b68p4"[tooltip="next:30"];"b22p3"[tooltip="next:20"];"b58p4"[tooltip="next:30"];"b62p3"[tooltip="next:20"];"b75p7"[tooltip="next:20"];"b47p7"[tooltip="next:20"];"b19p7"[tooltip="next:20"];"b6p4"[tooltip="next:30"];"b33p7"[tooltip="next:20"];"b11p9"[tooltip="next:30"];"b10p18"[tooltip="next:30"];"b0p41"[tooltip="next:30"];"b33p22"[tooltip="next:30"];"b0p26"[tooltip="next:20"];"b7p7"[tooltip="next:20"];"b3p3"[tooltip="next:20"];"b3p18"[tooltip="next:30"];"b17p15"[tooltip="next:30"];"b7p22"[tooltip="next:30"];"b59p7"[tooltip="next:20"];"b2p29"[tooltip="next:30"];"b23p9"[tooltip="next:30"];"b50p3"[tooltip="next:20"];"b2p14"[tooltip="next:20"];"b74p4"[tooltip="next:30"];"b10p3"[tooltip="next:20"];}
    }
    subgraph cluster_35 { label="(35, 'AggFinal', 9, 1, 0, [109, 105, 110, 40, 49, 41])";
    i35[style=invis];"b29p0"[tooltip="next:36"];"b89p0"[tooltip="next:36"];"b60p0"[tooltip="next:36"];"b99p0"[tooltip="next:36"];"b48p0"[tooltip="next:36"];"b65p0"[tooltip="next:36"];"b34p0"[tooltip="next:36"];"b25p0"[tooltip="next:36"];"b70p0"[tooltip="next:36"];"b76p0"[tooltip="next:36"];"b53p0"[tooltip="next:36"];"b20p0"[tooltip="next:36"];"b13p0"[tooltip="next:36"];"b8p0"[tooltip="next:36"];}
    subgraph cluster_36 { label="(36, 'Copy', 7, 15, 0, [])";
    i36[style=invis];"b20p1"[tooltip="next:37"];"b25p1"[tooltip="next:37"];"b65p1"[tooltip="next:37"];"b60p1"[tooltip="next:37"];"b70p1"[tooltip="next:37"];"b29p1"[tooltip="next:37"];subgraph "cluster_i36s1" {
    label="r[15]=Some(Single(Null NULL))"
    "b53p1"[tooltip="next:37"];"b48p1"[tooltip="next:37"];"b99p1"[tooltip="next:37"];"b76p1"[tooltip="next:37"];}
    subgraph "cluster_i36s2" {
    label="r[15]=Some(Single(Text NOT NULL))"
    "b13p1"[tooltip="next:37"];"b34p1"[tooltip="next:37"];"b89p1"[tooltip="next:37"];"b8p1"[tooltip="next:37"];}
    }
    subgraph cluster_37 { label="(37, 'Copy', 9, 16, 0, [])";
    i37[style=invis];"b65p2"[tooltip="next:38"];"b70p2"[tooltip="next:38"];"b29p2"[tooltip="next:38"];"b20p2"[tooltip="next:38"];"b25p2"[tooltip="next:38"];"b60p2"[tooltip="next:38"];subgraph "cluster_i37s1" {
    label="r[16]=Some(Single(Integer NOT NULL))"
    "b53p2"[tooltip="next:38"];"b34p2"[tooltip="next:38"];"b48p2"[tooltip="next:38"];"b89p2"[tooltip="next:38"];"b8p2"[tooltip="next:38"];"b99p2"[tooltip="next:38"];"b76p2"[tooltip="next:38"];"b13p2"[tooltip="next:38"];}
    }
    subgraph cluster_38 { label="(38, 'ResultRow', 15, 2, 0, [])";
    i38[style=invis];"b53p3";"b65p3";"b34p3";"b89p3";"b48p3";"b70p3";"b60p3";"b20p3";"b29p3";"b76p3";"b99p3";"b25p3";"b13p3";"b8p3";"b53p3";"b53p3"[tooltip="next:39"];"b65p3";"b34p3";"b89p3";"b89p3"[tooltip="next:39"];"b48p3";"b48p3"[tooltip="next:39"];"b70p3";"b70p3"[tooltip="next:39"];"b60p3";"b20p3";"b29p3";"b29p3"[tooltip="next:39"];"b76p3";"b99p3";"b99p3"[tooltip="next:39"];"b25p3";"b13p3";"b13p3"[tooltip="next:39"];"b8p3";"b8p3"[tooltip="next:39"];}
    subgraph cluster_39 { label="(39, 'Return', 3, 0, 0, [])";
    i39[style=invis];subgraph "cluster_i39s0" {
    label="r[3]=None"
    "b49p0"[tooltip="next:30"];"b17p0"[tooltip="next:20"];"b56p0"[tooltip="next:20"];"b30p0"[tooltip="next:30"];"b100p0"[tooltip="next:30"];"b71p0"[tooltip="next:30"];"b9p0"[tooltip="next:30"];"b90p0"[tooltip="next:30"];}
    }
    subgraph cluster_40 { label="(40, 'Null', 0, 7, 9, [])";
    i40[style=invis];"b22p6";"b0p29"[tooltip="next:41"];"b59p10";"b19p10";"b3p6"[tooltip="next:41"];"b62p6";"b2p17"[tooltip="next:41"];subgraph "cluster_i40s1" {
    label="r[7]=Some(Single(Null NULL))\nr[8]=Some(Single(Null NULL))\nr[9]=Some(Single(Null NULL))"
    "b0p7"[tooltip="next:41"];}
    subgraph "cluster_i40s2" {
    label="r[7]=Some(Single(Null NULL))\nr[9]=Some(Single(Null NULL))"
    "b33p10"[tooltip="next:41"];"b17p3"[tooltip="next:41"];"b10p6"[tooltip="next:41"];"b7p10"[tooltip="next:41"];}
    subgraph "cluster_i40s3" {
    label="r[9]=Some(Single(Null NULL))"
    "b75p10"[tooltip="next:41"];"b50p6"[tooltip="next:41"];"b56p3"[tooltip="next:41"];"b47p10"[tooltip="next:41"];}
    }
    subgraph cluster_41 { label="(41, 'Integer', 0, 1, 0, [])";
    i41[style=invis];"b2p18"[tooltip="next:42"];"b17p4"[tooltip="next:42"];"b56p4"[tooltip="next:42"];"b3p7"[tooltip="next:42"];"b0p30"[tooltip="next:42"];subgraph "cluster_i41s1" {
    label="r[1]=Some(Int(0))"
    "b33p11"[tooltip="next:42"];"b0p8"[tooltip="next:42"];"b7p11"[tooltip="next:42"];"b75p11"[tooltip="next:42"];"b10p7"[tooltip="next:42"];"b47p11"[tooltip="next:42"];"b50p7"[tooltip="next:42"];}
    }
    subgraph cluster_42 { label="(42, 'Return', 4, 0, 0, [])";
    i42[style=invis];subgraph "cluster_i42s0" {
    label="r[4]=None"
    "b75p12"[tooltip="next:22"];"b0p9"[tooltip="next:5"];"b2p19"[tooltip="next:22"];"b10p8"[tooltip="next:22"];"b50p8"[tooltip="next:22"];"b33p12"[tooltip="next:22"];"b0p31"[tooltip="next:22"];"b47p12"[tooltip="next:22"];"b3p8"[tooltip="next:22"];"b17p5"[tooltip="next:22"];"b7p12"[tooltip="next:22"];"b56p5"[tooltip="next:22"];}
    }
    subgraph cluster_43 { label="(43, 'Halt', 0, 0, 0, [])";
    i43[style=invis];"b57p0";"b33p24";"b9p2";"b74p6";"b2p31";"b68p6";"b54p0";"b6p6";"b18p0";"b14p0";"b100p2";"b119p0";"b7p24";"b23p11";"b58p6";"b49p2";"b71p2";"b11p11";"b17p17";"b3p20";"b90p2";"b30p2";"b0p43";"b10p20";"b66p0";"b26p0";}
    subgraph cluster_44 { label="(44, 'Transaction', 0, 0, 2, [48])" style=dashed;
    i44[style=invis];"b0p1"[tooltip="next:45"];}
    subgraph cluster_45 { label="(45, 'Goto', 0, 1, 0, [])";
    i45[style=invis];"b0p2"[tooltip="next:1"];}
    };
    subgraph branches {
    subgraph b0{edge [colorscheme=x11 color=blue1];"b0p0" -> "b0p1";"b0p1" -> "b0p2";"b0p2" -> "b0p3";"b0p3" -> "b0p4";"b0p4" -> "b0p5";"b0p5" -> "b0p6";"b0p6" -> "b0p7";"b0p7" -> "b0p8";"b0p8" -> "b0p9";"b0p9" -> "b0p10";"b0p10" -> "b0p11";"b0p11" -> "b0p12";"b0p12" -> "b0p13";"b0p13" -> "b0p14";"b0p14" -> "b0p15";"b0p15" -> "b0p16";"b0p16" -> "b0p17";"b0p17" -> "b0p18";"b0p18" -> "b0p19";"b0p19" -> "b0p20";"b0p20" -> "b0p21";"b0p21" -> "b0p22";"b0p22" -> "b0p23";"b0p23" -> "b0p24";"b0p24" -> "b0p25";"b0p25" -> "b0p26";"b0p26" -> "b0p27";"b0p27" -> "b0p28";"b0p28" -> "b0p29";"b0p29" -> "b0p30";"b0p30" -> "b0p31";"b0p31" -> "b0p32";"b0p32" -> "b0p33";"b0p33" -> "b0p34";"b0p34" -> "b0p35";//"b0p35" -> "b0p36";"b0p36" -> "b0p37";"b0p37" -> "b0p38";"b0p38" -> "b0p39";"b0p39" -> "b0p40";"b0p40" -> "b0p41";"b0p41" -> "b0p42";"b0p42" -> "b0p43";"b0p43" ->"Halt"; "Halt" [shape=box];
    };
    /*subgraph b1{edge [colorscheme=x11 color=red1];"b0p11" -> "b0p11_b1p0" -> "b1p0"
    "b1p0" -> "b1p1";"b1p1" ->"Branched"; "Branched" [shape=box];};
    subgraph b2{edge [colorscheme=x11 color=cyan1];"b0p16" -> "b2p0";"b2p0" -> "b2p1";"b2p1" -> "b2p2";"b2p2" -> "b2p3";"b2p3" -> "b2p4";"b2p4" -> "b2p5";"b2p5" -> "b2p6";"b2p6" -> "b2p7";"b2p7" -> "b2p8";"b2p8" -> "b2p9";"b2p9" -> "b2p10";"b2p10" -> "b2p11";"b2p11" -> "b2p12";"b2p12" -> "b2p13";"b2p13" -> "b2p14";"b2p14" -> "b2p15";"b2p15" -> "b2p16";"b2p16" -> "b2p17";"b2p17" -> "b2p18";"b2p18" -> "b2p19";"b2p19" -> "b2p20";"b2p20" -> "b2p21";"b2p21" -> "b2p22";"b2p22" -> "b2p23";"b2p23" -> "b2p24";"b2p24" -> "b2p25";"b2p25" -> "b2p26";"b2p26" -> "b2p27";"b2p27" -> "b2p28";"b2p28" -> "b2p29";"b2p29" -> "b2p30";"b2p30" -> "b2p31";"b2p31" ->"Halt"; "Halt" [shape=box];};
    subgraph b3{edge [colorscheme=x11 color=yellow1];"b0p22" -> "b3p0";"b3p0" -> "b3p1";"b3p1" -> "b3p2";"b3p2" -> "b3p3";"b3p3" -> "b3p4";"b3p4" -> "b3p5";"b3p5" -> "b3p6";"b3p6" -> "b3p7";"b3p7" -> "b3p8";"b3p8" -> "b3p9";"b3p9" -> "b3p10";"b3p10" -> "b3p11";"b3p11" -> "b3p12";"b3p12" -> "b3p13";"b3p13" -> "b3p14";"b3p14" -> "b3p15";"b3p15" -> "b3p16";"b3p16" -> "b3p17";"b3p17" -> "b3p18";"b3p18" -> "b3p19";"b3p19" -> "b3p20";"b3p20" ->"Halt"; "Halt" [shape=box];};
    subgraph b4{edge [colorscheme=x11 color=green1];"b0p22" -> "b4p0";"b4p0" -> "b4p1";"b4p1" -> "b4p2";"b4p2" -> "b4p3";"b4p3" -> "b4p4";"b4p4" -> "b4p5";"b4p5" -> "b4p6";"b4p6" -> "b4p7";"b4p7" -> "b4p8";"b4p8" ->"Branched"; "Branched" [shape=box];};
    subgraph b5{edge [colorscheme=x11 color=magenta1];"b0p22"->"b3p0" [style=dotted]};*/
    subgraph b6{edge [colorscheme=x11 color=orange1];"b0p35" -> "b0p35_b6p0" -> "b6p0"
    "b6p0" -> "b6p1";"b6p1" -> "b6p2";"b6p2" -> "b6p3"//;"b6p3" -> "b6p4";"b6p4" -> "b6p5";"b6p5" -> "b6p6";"b6p6" ->"Halt"; "Halt" [shape=box];
    };
    /*subgraph b7{edge [colorscheme=x11 color=purple1];"b0p38" -> "b7p0";"b7p0" -> "b7p1";"b7p1" -> "b7p2";"b7p2" -> "b7p3";"b7p3" -> "b7p4";"b7p4" -> "b7p5";"b7p5" -> "b7p6";"b7p6" -> "b7p7";"b7p7" -> "b7p8";"b7p8" -> "b7p9";"b7p9" -> "b7p10";"b7p10" -> "b7p11";"b7p11" -> "b7p12";"b7p12" -> "b7p13";"b7p13" -> "b7p14";"b7p14" -> "b7p15";"b7p15" -> "b7p16";"b7p16" -> "b7p17";"b7p17" -> "b7p18";"b7p18" -> "b7p19";"b7p19" -> "b7p20";"b7p20" -> "b7p21";"b7p21" -> "b7p22";"b7p22" -> "b7p23";"b7p23" -> "b7p24";"b7p24" ->"Halt"; "Halt" [shape=box];};
    subgraph b8{edge [colorscheme=x11 color=orangered1];"b0p40" -> "b0p40_b8p0" -> "b8p0"
    "b8p0" -> "b8p1";"b8p1" -> "b8p2";"b8p2" -> "b8p3";"b8p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b9{edge [colorscheme=x11 color=sienna1];"b8p3" -> "b9p0";"b9p0" -> "b9p1";"b9p1" -> "b9p2";"b9p2" ->"Halt"; "Halt" [shape=box];};
    subgraph b10{edge [colorscheme=x11 color=olivedrab1];"b7p3" -> "b10p0";"b10p0" -> "b10p1";"b10p1" -> "b10p2";"b10p2" -> "b10p3";"b10p3" -> "b10p4";"b10p4" -> "b10p5";"b10p5" -> "b10p6";"b10p6" -> "b10p7";"b10p7" -> "b10p8";"b10p8" -> "b10p9";"b10p9" -> "b10p10";"b10p10" -> "b10p11";"b10p11" -> "b10p12";"b10p12" -> "b10p13";"b10p13" -> "b10p14";"b10p14" -> "b10p15";"b10p15" -> "b10p16";"b10p16" -> "b10p17";"b10p17" -> "b10p18";"b10p18" -> "b10p19";"b10p19" -> "b10p20";"b10p20" ->"Halt"; "Halt" [shape=box];};
    subgraph b11{edge [colorscheme=x11 color=pink1];"b7p3" -> "b11p0";"b11p0" -> "b11p1";"b11p1" -> "b11p2";"b11p2" -> "b11p3";"b11p3" -> "b11p4";"b11p4" -> "b11p5";"b11p5" -> "b11p6";"b11p6" -> "b11p7";"b11p7" -> "b11p8";"b11p8" -> "b11p9";"b11p9" -> "b11p10";"b11p10" -> "b11p11";"b11p11" ->"Halt"; "Halt" [shape=box];};
    subgraph b12{edge [colorscheme=x11 color=blue4];"b7p3"->"b10p0" [style=dotted]};
    subgraph b13{edge [colorscheme=x11 color=red4];"b7p6" -> "b7p6_b13p0" -> "b13p0"
    "b13p0" -> "b13p1";"b13p1" -> "b13p2";"b13p2" -> "b13p3";"b13p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b14{edge [colorscheme=x11 color=cyan4];"b7p8" -> "b7p8_b14p0" -> "b14p0"
    "b14p0" ->"Halt"; "Halt" [shape=box];};
    subgraph b15{edge [colorscheme=x11 color=yellow4];"b7p19"->"b7p0" [style=dotted]};
    subgraph b16{edge [colorscheme=x11 color=green4];"b7p21"->"b8p0" [style=dotted]};
    subgraph b17{edge [colorscheme=x11 color=magenta4];"b13p3" -> "b17p0";"b17p0" -> "b17p1";"b17p1" -> "b17p2";"b17p2" -> "b17p3";"b17p3" -> "b17p4";"b17p4" -> "b17p5";"b17p5" -> "b17p6";"b17p6" -> "b17p7";"b17p7" -> "b17p8";"b17p8" -> "b17p9";"b17p9" -> "b17p10";"b17p10" -> "b17p11";"b17p11" -> "b17p12";"b17p12" -> "b17p13";"b17p13" -> "b17p14";"b17p14" -> "b17p15";"b17p15" -> "b17p16";"b17p16" -> "b17p17";"b17p17" ->"Halt"; "Halt" [shape=box];};
    subgraph b18{edge [colorscheme=x11 color=orange4];"b17p1" -> "b17p1_b18p0" -> "b18p0"
    "b18p0" ->"Halt"; "Halt" [shape=box];};
    subgraph b19{edge [colorscheme=x11 color=purple4];"b17p12" -> "b19p0";"b19p0" -> "b19p1";"b19p1" -> "b19p2";"b19p2" -> "b19p3";"b19p3" -> "b19p4";"b19p4" -> "b19p5";"b19p5" -> "b19p6";"b19p6" -> "b19p7";"b19p7" -> "b19p8";"b19p8" -> "b19p9";"b19p9" -> "b19p10";"b19p10" ->"LoopLimit"; "LoopLimit" [shape=box];};
    subgraph b20{edge [colorscheme=x11 color=orangered4];"b17p14" -> "b17p14_b20p0" -> "b20p0"
    "b20p0" -> "b20p1";"b20p1" -> "b20p2";"b20p2" -> "b20p3";"b20p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b21{edge [colorscheme=x11 color=sienna4];"b20p3"->"b9p0" [style=dotted]};
    subgraph b22{edge [colorscheme=x11 color=olivedrab4];"b19p3" -> "b22p0";"b22p0" -> "b22p1";"b22p1" -> "b22p2";"b22p2" -> "b22p3";"b22p3" -> "b22p4";"b22p4" -> "b22p5";"b22p5" -> "b22p6";"b22p6" ->"LoopLimit"; "LoopLimit" [shape=box];};
    subgraph b23{edge [colorscheme=x11 color=pink4];"b19p3" -> "b23p0";"b23p0" -> "b23p1";"b23p1" -> "b23p2";"b23p2" -> "b23p3";"b23p3" -> "b23p4";"b23p4" -> "b23p5";"b23p5" -> "b23p6";"b23p6" -> "b23p7";"b23p7" -> "b23p8";"b23p8" -> "b23p9";"b23p9" -> "b23p10";"b23p10" -> "b23p11";"b23p11" ->"Halt"; "Halt" [shape=box];};
    subgraph b24{edge [colorscheme=x11 color=blue3];"b19p3"->"b22p0" [style=dotted]};
    subgraph b25{edge [colorscheme=x11 color=red3];"b19p6" -> "b19p6_b25p0" -> "b25p0"
    "b25p0" -> "b25p1";"b25p1" -> "b25p2";"b25p2" -> "b25p3";"b25p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b26{edge [colorscheme=x11 color=cyan3];"b19p8" -> "b19p8_b26p0" -> "b26p0"
    "b26p0" ->"Halt"; "Halt" [shape=box];};
    subgraph b27{edge [colorscheme=x11 color=yellow3];"b25p3"->"b17p0" [style=dotted]};
    subgraph b28{edge [colorscheme=x11 color=green3];"b23p6" -> "b28p0";"b28p0" ->"LoopLimit"; "LoopLimit" [shape=box];};
    subgraph b29{edge [colorscheme=x11 color=magenta3];"b23p8" -> "b23p8_b29p0" -> "b29p0"
    "b29p0" -> "b29p1";"b29p1" -> "b29p2";"b29p2" -> "b29p3";"b29p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b30{edge [colorscheme=x11 color=orange3];"b29p3" -> "b30p0";"b30p0" -> "b30p1";"b30p1" -> "b30p2";"b30p2" ->"Halt"; "Halt" [shape=box];};
    subgraph b31{edge [colorscheme=x11 color=purple3];"b22p2"->"b25p0" [style=dotted]};
    subgraph b32{edge [colorscheme=x11 color=orangered3];"b22p4"->"b26p0" [style=dotted]};
    subgraph b33{edge [colorscheme=x11 color=sienna3];"b11p6" -> "b33p0";"b33p0" -> "b33p1";"b33p1" -> "b33p2";"b33p2" -> "b33p3";"b33p3" -> "b33p4";"b33p4" -> "b33p5";"b33p5" -> "b33p6";"b33p6" -> "b33p7";"b33p7" -> "b33p8";"b33p8" -> "b33p9";"b33p9" -> "b33p10";"b33p10" -> "b33p11";"b33p11" -> "b33p12";"b33p12" -> "b33p13";"b33p13" -> "b33p14";"b33p14" -> "b33p15";"b33p15" -> "b33p16";"b33p16" -> "b33p17";"b33p17" -> "b33p18";"b33p18" -> "b33p19";"b33p19" -> "b33p20";"b33p20" -> "b33p21";"b33p21" -> "b33p22";"b33p22" -> "b33p23";"b33p23" -> "b33p24";"b33p24" ->"Halt"; "Halt" [shape=box];};
    subgraph b34{edge [colorscheme=x11 color=olivedrab3];"b11p8" -> "b11p8_b34p0" -> "b34p0"
    "b34p0" -> "b34p1";"b34p1" -> "b34p2";"b34p2" -> "b34p3";"b34p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b35{edge [colorscheme=x11 color=pink3];"b34p3"->"b30p0" [style=dotted]};
    subgraph b36{edge [colorscheme=x11 color=blue2];"b33p3"->"b10p0" [style=dotted]};
    subgraph b37{edge [colorscheme=x11 color=red2];"b33p3"->"b11p0" [style=dotted]};
    subgraph b38{edge [colorscheme=x11 color=cyan2];"b33p3"->"b10p0" [style=dotted]};
    subgraph b39{edge [colorscheme=x11 color=yellow2];"b33p6"->"b13p0" [style=dotted]};
    subgraph b40{edge [colorscheme=x11 color=green2];"b33p8"->"b14p0" [style=dotted]};
    subgraph b41{edge [colorscheme=x11 color=magenta2];"b33p19"->"b7p0" [style=dotted]};
    subgraph b42{edge [colorscheme=x11 color=orange2];"b33p21"->"b8p0" [style=dotted]};
    subgraph b43{edge [colorscheme=x11 color=purple2];"b10p2"->"b13p0" [style=dotted]};
    subgraph b44{edge [colorscheme=x11 color=orangered2];"b10p4"->"b14p0" [style=dotted]};
    subgraph b45{edge [colorscheme=x11 color=sienna2];"b10p15"->"b7p0" [style=dotted]};
    subgraph b46{edge [colorscheme=x11 color=olivedrab2];"b10p17"->"b8p0" [style=dotted]};*/
    subgraph b47{edge [colorscheme=x11 color=pink2];"b6p1" -> "b47p0";"b47p0" -> "b47p1";"b47p1" -> "b47p2";"b47p2" -> "b47p3";"b47p3" -> "b47p4";"b47p4" -> "b47p5";"b47p5" -> "b47p6";"b47p6" -> "b47p7";"b47p7" -> "b47p8";"b47p8" -> "b47p9";"b47p9" -> "b47p10";"b47p10" -> "b47p11";"b47p11" -> "b47p12";"b47p12" -> "b47p13";"b47p13" -> "b47p14";"b47p14" -> "b47p15";"b47p15" -> "b47p16";"b47p16" ->"Branched"; "Branched" [shape=box];};
    subgraph b48{edge [colorscheme=x11 color=blue1];"b6p3" -> "b6p3_b48p0" -> "b48p0"
    "b48p0" -> "b48p1";"b48p1" -> "b48p2";"b48p2" -> "b48p3";"b48p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    /*
    subgraph b49{edge [colorscheme=x11 color=red1];"b48p3" -> "b49p0";"b49p0" -> "b49p1";"b49p1" -> "b49p2";"b49p2" ->"Halt"; "Halt" [shape=box];};
    subgraph b50{edge [colorscheme=x11 color=cyan1];"b47p3" -> "b50p0";"b50p0" -> "b50p1";"b50p1" -> "b50p2";"b50p2" -> "b50p3";"b50p3" -> "b50p4";"b50p4" -> "b50p5";"b50p5" -> "b50p6";"b50p6" -> "b50p7";"b50p7" -> "b50p8";"b50p8" -> "b50p9";"b50p9" -> "b50p10";"b50p10" -> "b50p11";"b50p11" -> "b50p12";"b50p12" ->"Branched"; "Branched" [shape=box];};
    subgraph b51{edge [colorscheme=x11 color=yellow1];"b47p3" -> "b51p0";"b51p0" -> "b51p1";"b51p1" -> "b51p2";"b51p2" -> "b51p3";"b51p3" ->"Branched"; "Branched" [shape=box];};
    subgraph b52{edge [colorscheme=x11 color=green1];"b47p3"->"b50p0" [style=dotted]};
    subgraph b53{edge [colorscheme=x11 color=magenta1];"b47p6" -> "b47p6_b53p0" -> "b53p0"
    "b53p0" -> "b53p1";"b53p1" -> "b53p2";"b53p2" -> "b53p3";"b53p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b54{edge [colorscheme=x11 color=orange1];"b47p8" -> "b47p8_b54p0" -> "b54p0"
    "b54p0" ->"Halt"; "Halt" [shape=box];};
    subgraph b55{edge [colorscheme=x11 color=purple1];"b47p16"->"b6p0" [style=dotted]};
    subgraph b56{edge [colorscheme=x11 color=orangered1];"b53p3" -> "b56p0";"b56p0" -> "b56p1";"b56p1" -> "b56p2";"b56p2" -> "b56p3";"b56p3" -> "b56p4";"b56p4" -> "b56p5";"b56p5" -> "b56p6";"b56p6" -> "b56p7";"b56p7" -> "b56p8";"b56p8" -> "b56p9";"b56p9" ->"Branched"; "Branched" [shape=box];};
    subgraph b57{edge [colorscheme=x11 color=sienna1];"b56p1" -> "b56p1_b57p0" -> "b57p0"
    "b57p0" ->"Halt"; "Halt" [shape=box];};
    subgraph b58{edge [colorscheme=x11 color=olivedrab1];"b56p9" -> "b58p0";"b58p0" -> "b58p1";"b58p1" -> "b58p2";"b58p2" -> "b58p3";"b58p3" -> "b58p4";"b58p4" -> "b58p5";"b58p5" -> "b58p6";"b58p6" ->"Halt"; "Halt" [shape=box];};
    subgraph b59{edge [colorscheme=x11 color=pink1];"b58p1" -> "b59p0";"b59p0" -> "b59p1";"b59p1" -> "b59p2";"b59p2" -> "b59p3";"b59p3" -> "b59p4";"b59p4" -> "b59p5";"b59p5" -> "b59p6";"b59p6" -> "b59p7";"b59p7" -> "b59p8";"b59p8" -> "b59p9";"b59p9" -> "b59p10";"b59p10" ->"LoopLimit"; "LoopLimit" [shape=box];};
    subgraph b60{edge [colorscheme=x11 color=blue4];"b58p3" -> "b58p3_b60p0" -> "b60p0"
    "b60p0" -> "b60p1";"b60p1" -> "b60p2";"b60p2" -> "b60p3";"b60p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b61{edge [colorscheme=x11 color=red4];"b60p3"->"b49p0" [style=dotted]};
    subgraph b62{edge [colorscheme=x11 color=cyan4];"b59p3" -> "b62p0";"b62p0" -> "b62p1";"b62p1" -> "b62p2";"b62p2" -> "b62p3";"b62p3" -> "b62p4";"b62p4" -> "b62p5";"b62p5" -> "b62p6";"b62p6" ->"LoopLimit"; "LoopLimit" [shape=box];};
    subgraph b63{edge [colorscheme=x11 color=yellow4];"b59p3" -> "b63p0";"b63p0" -> "b63p1";"b63p1" -> "b63p2";"b63p2" -> "b63p3";"b63p3" ->"Branched"; "Branched" [shape=box];};
    subgraph b64{edge [colorscheme=x11 color=green4];"b59p3"->"b62p0" [style=dotted]};
    subgraph b65{edge [colorscheme=x11 color=magenta4];"b59p6" -> "b59p6_b65p0" -> "b65p0"
    "b65p0" -> "b65p1";"b65p1" -> "b65p2";"b65p2" -> "b65p3";"b65p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b66{edge [colorscheme=x11 color=orange4];"b59p8" -> "b59p8_b66p0" -> "b66p0"
    "b66p0" ->"Halt"; "Halt" [shape=box];};
    subgraph b67{edge [colorscheme=x11 color=purple4];"b65p3"->"b56p0" [style=dotted]};
    subgraph b68{edge [colorscheme=x11 color=orangered4];"b63p3" -> "b68p0";"b68p0" -> "b68p1";"b68p1" -> "b68p2";"b68p2" -> "b68p3";"b68p3" -> "b68p4";"b68p4" -> "b68p5";"b68p5" -> "b68p6";"b68p6" ->"Halt"; "Halt" [shape=box];};
    subgraph b69{edge [colorscheme=x11 color=sienna4];"b68p1" -> "b69p0";"b69p0" ->"LoopLimit"; "LoopLimit" [shape=box];};
    subgraph b70{edge [colorscheme=x11 color=olivedrab4];"b68p3" -> "b68p3_b70p0" -> "b70p0"
    "b70p0" -> "b70p1";"b70p1" -> "b70p2";"b70p2" -> "b70p3";"b70p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b71{edge [colorscheme=x11 color=pink4];"b70p3" -> "b71p0";"b71p0" -> "b71p1";"b71p1" -> "b71p2";"b71p2" ->"Halt"; "Halt" [shape=box];};
    subgraph b72{edge [colorscheme=x11 color=blue3];"b62p2"->"b65p0" [style=dotted]};
    subgraph b73{edge [colorscheme=x11 color=red3];"b62p4"->"b66p0" [style=dotted]};
    subgraph b74{edge [colorscheme=x11 color=cyan3];"b51p3" -> "b74p0";"b74p0" -> "b74p1";"b74p1" -> "b74p2";"b74p2" -> "b74p3";"b74p3" -> "b74p4";"b74p4" -> "b74p5";"b74p5" -> "b74p6";"b74p6" ->"Halt"; "Halt" [shape=box];};
    subgraph b75{edge [colorscheme=x11 color=yellow3];"b74p1" -> "b75p0";"b75p0" -> "b75p1";"b75p1" -> "b75p2";"b75p2" -> "b75p3";"b75p3" -> "b75p4";"b75p4" -> "b75p5";"b75p5" -> "b75p6";"b75p6" -> "b75p7";"b75p7" -> "b75p8";"b75p8" -> "b75p9";"b75p9" -> "b75p10";"b75p10" -> "b75p11";"b75p11" -> "b75p12";"b75p12" -> "b75p13";"b75p13" -> "b75p14";"b75p14" -> "b75p15";"b75p15" -> "b75p16";"b75p16" ->"Branched"; "Branched" [shape=box];};
    subgraph b76{edge [colorscheme=x11 color=green3];"b74p3" -> "b74p3_b76p0" -> "b76p0"
    "b76p0" -> "b76p1";"b76p1" -> "b76p2";"b76p2" -> "b76p3";"b76p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b77{edge [colorscheme=x11 color=magenta3];"b76p3"->"b71p0" [style=dotted]};
    subgraph b78{edge [colorscheme=x11 color=orange3];"b75p3"->"b50p0" [style=dotted]};
    subgraph b79{edge [colorscheme=x11 color=purple3];"b75p3"->"b51p0" [style=dotted]};
    subgraph b80{edge [colorscheme=x11 color=orangered3];"b75p3"->"b50p0" [style=dotted]};
    subgraph b81{edge [colorscheme=x11 color=sienna3];"b75p6"->"b53p0" [style=dotted]};
    subgraph b82{edge [colorscheme=x11 color=olivedrab3];"b75p8"->"b54p0" [style=dotted]};
    subgraph b83{edge [colorscheme=x11 color=pink3];"b75p16"->"b6p0" [style=dotted]};
    subgraph b84{edge [colorscheme=x11 color=blue2];"b50p2"->"b53p0" [style=dotted]};
    subgraph b85{edge [colorscheme=x11 color=red2];"b50p4"->"b54p0" [style=dotted]};
    subgraph b86{edge [colorscheme=x11 color=cyan2];"b50p12"->"b6p0" [style=dotted]};
    subgraph b87{edge [colorscheme=x11 color=yellow2];"b4p3" -> "b4p3_b87p0" -> "b87p0"
    "b87p0" -> "b87p1";"b87p1" -> "b87p2";"b87p2" -> "b87p3";"b87p3" ->"Branched"; "Branched" [shape=box];};
    subgraph b88{edge [colorscheme=x11 color=green2];"b4p6" -> "b88p0";"b88p0" -> "b88p1";"b88p1" -> "b88p2";"b88p2" -> "b88p3";"b88p3" -> "b88p4";"b88p4" -> "b88p5";"b88p5" -> "b88p6";"b88p6" ->"Branched"; "Branched" [shape=box];};
    subgraph b89{edge [colorscheme=x11 color=magenta2];"b4p8" -> "b4p8_b89p0" -> "b89p0"
    "b89p0" -> "b89p1";"b89p1" -> "b89p2";"b89p2" -> "b89p3";"b89p3" ->"Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Text NOT NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b90{edge [colorscheme=x11 color=orange2];"b89p3" -> "b90p0";"b90p0" -> "b90p1";"b90p1" -> "b90p2";"b90p2" ->"Halt"; "Halt" [shape=box];};
    subgraph b91{edge [colorscheme=x11 color=purple2];"b88p3" -> "b91p0";"b91p0" -> "b91p1";"b91p1" -> "b91p2";"b91p2" ->"Branched"; "Branched" [shape=box];};
    subgraph b92{edge [colorscheme=x11 color=orangered2];"b88p3" -> "b92p0";"b92p0" -> "b92p1";"b92p1" -> "b92p2";"b92p2" -> "b92p3";"b92p3" -> "b92p4";"b92p4" -> "b92p5";"b92p5" -> "b92p6";"b92p6" -> "b92p7";"b92p7" -> "b92p8";"b92p8" ->"Branched"; "Branched" [shape=box];};
    subgraph b93{edge [colorscheme=x11 color=sienna2];"b88p3"->"b91p0" [style=dotted]};
    subgraph b94{edge [colorscheme=x11 color=olivedrab2];"b88p6"->"b13p0" [style=dotted]};
    subgraph b95{edge [colorscheme=x11 color=pink2];"b92p6"->"b88p0" [style=dotted]};
    subgraph b96{edge [colorscheme=x11 color=blue1];"b92p8"->"b89p0" [style=dotted]};
    subgraph b97{edge [colorscheme=x11 color=red1];"b91p2"->"b13p0" [style=dotted]};
    subgraph b98{edge [colorscheme=x11 color=cyan1];"b87p1" -> "b98p0";"b98p0" -> "b98p1";"b98p1" -> "b98p2";"b98p2" -> "b98p3";"b98p3" -> "b98p4";"b98p4" -> "b98p5";"b98p5" -> "b98p6";"b98p6" ->"Branched"; "Branched" [shape=box];};
    subgraph b99{edge [colorscheme=x11 color=yellow1];"b87p3" -> "b87p3_b99p0" -> "b99p0"
    "b99p0" -> "b99p1";"b99p1" -> "b99p2";"b99p2" -> "b99p3";"b99p3" ->"Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))"; "Result(IntMap([Some(Null NULL), Some(Integer NOT NULL)]))" [shape=box];};
    subgraph b100{edge [colorscheme=x11 color=green1];"b99p3" -> "b100p0";"b100p0" -> "b100p1";"b100p1" -> "b100p2";"b100p2" ->"Halt"; "Halt" [shape=box];};
    subgraph b101{edge [colorscheme=x11 color=magenta1];"b98p3" -> "b101p0";"b101p0" -> "b101p1";"b101p1" -> "b101p2";"b101p2" ->"Branched"; "Branched" [shape=box];};
    subgraph b102{edge [colorscheme=x11 color=orange1];"b98p3" -> "b102p0";"b102p0" -> "b102p1";"b102p1" -> "b102p2";"b102p2" -> "b102p3";"b102p3" ->"Branched"; "Branched" [shape=box];};
    subgraph b103{edge [colorscheme=x11 color=purple1];"b98p3"->"b101p0" [style=dotted]};
    subgraph b104{edge [colorscheme=x11 color=orangered1];"b98p6"->"b53p0" [style=dotted]};
    subgraph b105{edge [colorscheme=x11 color=sienna1];"b102p3" -> "b105p0";"b105p0" -> "b105p1";"b105p1" -> "b105p2";"b105p2" -> "b105p3";"b105p3" ->"Branched"; "Branched" [shape=box];};
    subgraph b106{edge [colorscheme=x11 color=olivedrab1];"b105p1"->"b98p0" [style=dotted]};
    subgraph b107{edge [colorscheme=x11 color=pink1];"b105p3"->"b99p0" [style=dotted]};
    subgraph b108{edge [colorscheme=x11 color=blue4];"b101p2"->"b53p0" [style=dotted]};
    subgraph b109{edge [colorscheme=x11 color=red4];"b3p12"->"b6p0" [style=dotted]};
    subgraph b110{edge [colorscheme=x11 color=cyan4];"b3p15"->"b7p0" [style=dotted]};
    subgraph b111{edge [colorscheme=x11 color=yellow4];"b3p17"->"b8p0" [style=dotted]};
    subgraph b112{edge [colorscheme=x11 color=green4];"b2p4"->"b2p0" [style=dotted]};
    subgraph b113{edge [colorscheme=x11 color=magenta4];"b2p10"->"b3p0" [style=dotted]};
    subgraph b114{edge [colorscheme=x11 color=orange4];"b2p10"->"b4p0" [style=dotted]};
    subgraph b115{edge [colorscheme=x11 color=purple4];"b2p10"->"b3p0" [style=dotted]};
    subgraph b116{edge [colorscheme=x11 color=orangered4];"b2p23"->"b6p0" [style=dotted]};
    subgraph b117{edge [colorscheme=x11 color=sienna4];"b2p26"->"b7p0" [style=dotted]};
    subgraph b118{edge [colorscheme=x11 color=olivedrab4];"b2p28"->"b8p0" [style=dotted]};
    subgraph b119{edge [colorscheme=x11 color=pink4];"b1p1" -> "b119p0";"b119p0" ->"Halt"; "Halt" [shape=box];};*/
    };
    }

graphviz_min_minimized.svg

migrations_20240517183938_test.sql

CREATE TABLE test (
    foo TEXT NOT NULL,
    bar INTEGER NOT NULL
);

INSERT INTO test (foo, bar) VALUES ('bla', 1);
INSERT INTO test (foo, bar) VALUES ('bla', 2);
INSERT INTO test (foo, bar) VALUES ('blub', 3);

src_main.rs

use sqlx::{Connection, Executor};
use sqlx_sqlite::SqliteConnection;
use std::{any::type_name_of_val, env};

async fn show_describe(
    pool: &mut SqliteConnection,
    query: &str,
    desc: &str,
) -> Result<(), Box<dyn std::error::Error>> {
    println!("{}: {:?}", desc, pool.describe(query).await?);
    Ok(())
}

#[tokio::main]
async fn main() -> Result<(), Box<dyn std::error::Error>> {
    dotenvy::dotenv()?;
    env_logger::init();
    let url = env::var("DATABASE_URL").expect("DATABASE_URL is not set in .env file");
    let mut pool = SqliteConnection::connect(&url)
        .await
        .expect("Failed to connect to database");

    // No GROUP BY or aggregate function
    /*    show_describe(
        &mut pool,
        r#"
        SELECT foo, bar
        FROM test
        "#,
        "no GROUP BY",
    )
    .await?;

    // Just GROUP BY
    show_describe(
        &mut pool,
        r#"
        SELECT foo
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY only",
    )
    .await?;*/

    // GROUP BY + MIN()
    show_describe(
        &mut pool,
        r#"
        SELECT foo, MIN(bar) as 'bar'
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY + MIN()",
    )
    .await?;

    // GROUP BY + MAX()
    /*    show_describe(
        &mut pool,
        r#"
        SELECT foo, MAX(bar) as 'bar'
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY + MAX()",
    )
    .await?;

    // GROUP BY + SUM()
    show_describe(
        &mut pool,
        r#"
        SELECT foo, SUM(bar) as 'bar'
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY + SUM()}",
    )
    .await?;

    // GROUP BY + COUNT()
    show_describe(
        &mut pool,
        r#"
        SELECT foo, COUNT(bar) as 'bar'
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY + COUNT()",
    )
    .await?;

    // GROUP BY + AVG()
    show_describe(
        &mut pool,
        r#"
        SELECT foo, AVG(bar) as 'bar'
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY + AVG()",
    )
    .await?;

    // GROUP BY + TOTAL()
    show_describe(
        &mut pool,
        r#"
        SELECT foo, TOTAL(bar) as 'bar'
        FROM test
        GROUP BY foo
        "#,
        "GROUP BY + TOTAL()",
    )
    .await?;*/

    Ok(())
}