[INFO] cloning repository https://github.com/darshimo/lmm-calculus
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/darshimo/lmm-calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 501d63ae56f60393a8349d2df4f82a11bc5f125c
[INFO] checking darshimo/lmm-calculus against master#5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f for pr-87248
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus" "/workspace/builds/worker-0/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/darshimo/lmm-calculus on toolchain 5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/darshimo/lmm-calculus
[INFO] finished tweaking git repo https://github.com/darshimo/lmm-calculus
[INFO] tweaked toml for git repo https://github.com/darshimo/lmm-calculus written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] crate git repo https://github.com/darshimo/lmm-calculus already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 834bac40e6285e131db5c528473dc5d31810043bfa6b492fb6a7d05ff7a4015f
[INFO] running `Command { std: "docker" "start" "-a" "834bac40e6285e131db5c528473dc5d31810043bfa6b492fb6a7d05ff7a4015f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "834bac40e6285e131db5c528473dc5d31810043bfa6b492fb6a7d05ff7a4015f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "834bac40e6285e131db5c528473dc5d31810043bfa6b492fb6a7d05ff7a4015f", kill_on_drop: false }`
[INFO] [stdout] 834bac40e6285e131db5c528473dc5d31810043bfa6b492fb6a7d05ff7a4015f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9627565226a4aded456c1954a2e8ec839c8c71652d8697d779985c7b85a1f579
[INFO] running `Command { std: "docker" "start" "-a" "9627565226a4aded456c1954a2e8ec839c8c71652d8697d779985c7b85a1f579", kill_on_drop: false }`
[INFO] [stderr]     Checking lmm-calculus v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0583]: file not found for module `generator`
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | mod generator;
[INFO] [stdout]   | ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: to create the module `generator`, create file "src/generator.rs" or "src/generator/mod.rs"
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0583]: file not found for module `generator`
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | mod generator;
[INFO] [stdout]   | ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: to create the module `generator`, create file "src/generator.rs" or "src/generator/mod.rs"
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambda.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]   --> src/lambda_double.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::variable::*;
[INFO] [stdout]    |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambda_mu.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambdabar_mu.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]   --> src/lambdabar_mu_mutilde.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::variable::*;
[INFO] [stdout]    |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambdabar_mu_mutilde_comp.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambda.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]   --> src/lambda_double.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | use crate::variable::*;
[INFO] [stdout]    |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambda_mu.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambdabar_mu.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]   --> src/lambdabar_mu_mutilde.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::variable::*;
[INFO] [stdout]    |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `crate::variable`
[INFO] [stdout]  --> src/lambdabar_mu_mutilde_comp.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::variable::*;
[INFO] [stdout]   |            ^^^^^^^^ could not find `variable` in the crate root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:100:21
[INFO] [stdout]     |
[INFO] [stdout] 100 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:185:17
[INFO] [stdout]     |
[INFO] [stdout] 185 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:186:17
[INFO] [stdout]     |
[INFO] [stdout] 186 |         let x = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:194:17
[INFO] [stdout]     |
[INFO] [stdout] 194 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:216:17
[INFO] [stdout]     |
[INFO] [stdout] 216 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:217:20
[INFO] [stdout]     |
[INFO] [stdout] 217 |         let beta = generate_cvariable();
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:228:17
[INFO] [stdout]     |
[INFO] [stdout] 228 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:229:17
[INFO] [stdout]     |
[INFO] [stdout] 229 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:155:19
[INFO] [stdout]     |
[INFO] [stdout] 155 |             tmp = generate_tvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:157:19
[INFO] [stdout]     |
[INFO] [stdout] 157 |             tmp = generate_kvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:159:19
[INFO] [stdout]     |
[INFO] [stdout] 159 |             tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:183:18
[INFO] [stdout]     |
[INFO] [stdout] 183 |             y2 = generate_tvariable();
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:189:21
[INFO] [stdout]     |
[INFO] [stdout] 189 |             beta2 = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:302:17
[INFO] [stdout]     |
[INFO] [stdout] 302 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:303:17
[INFO] [stdout]     |
[INFO] [stdout] 303 |         let x = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:314:17
[INFO] [stdout]     |
[INFO] [stdout] 314 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:327:17
[INFO] [stdout]     |
[INFO] [stdout] 327 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:335:17
[INFO] [stdout]     |
[INFO] [stdout] 335 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:336:20
[INFO] [stdout]     |
[INFO] [stdout] 336 |         let beta = generate_cvariable();
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:346:17
[INFO] [stdout]     |
[INFO] [stdout] 346 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:347:17
[INFO] [stdout]     |
[INFO] [stdout] 347 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:221:21
[INFO] [stdout]     |
[INFO] [stdout] 221 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:254:21
[INFO] [stdout]     |
[INFO] [stdout] 254 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:275:19
[INFO] [stdout]     |
[INFO] [stdout] 275 |         let tmp = generate_tvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:285:19
[INFO] [stdout]     |
[INFO] [stdout] 285 |         let tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu.rs:265:21
[INFO] [stdout]     |
[INFO] [stdout] 265 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu.rs:287:21
[INFO] [stdout]     |
[INFO] [stdout] 287 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:113:21
[INFO] [stdout]     |
[INFO] [stdout] 113 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:276:21
[INFO] [stdout]     |
[INFO] [stdout] 276 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:314:17
[INFO] [stdout]     |
[INFO] [stdout] 314 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:417:21
[INFO] [stdout]     |
[INFO] [stdout] 417 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:439:21
[INFO] [stdout]     |
[INFO] [stdout] 439 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:460:19
[INFO] [stdout]     |
[INFO] [stdout] 460 |         let tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:477:19
[INFO] [stdout]     |
[INFO] [stdout] 477 |         let tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:495:17
[INFO] [stdout]     |
[INFO] [stdout] 495 |         let x = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:496:21
[INFO] [stdout]     |
[INFO] [stdout] 496 |         let alpha = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:515:17
[INFO] [stdout]     |
[INFO] [stdout] 515 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:525:21
[INFO] [stdout]     |
[INFO] [stdout] 525 |         let alpha = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]   --> src/lambdabar_mu_mutilde_comp.rs:92:21
[INFO] [stdout]    |
[INFO] [stdout] 92 |           let tmp = generate_tvariable();
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:118:21
[INFO] [stdout]     |
[INFO] [stdout] 118 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:237:21
[INFO] [stdout]     |
[INFO] [stdout] 237 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:255:21
[INFO] [stdout]     |
[INFO] [stdout] 255 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:281:21
[INFO] [stdout]     |
[INFO] [stdout] 281 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:301:21
[INFO] [stdout]     |
[INFO] [stdout] 301 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:320:17
[INFO] [stdout]     |
[INFO] [stdout] 320 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:337:21
[INFO] [stdout]     |
[INFO] [stdout] 337 |           TVariable(reverse_bound_variable(alpha))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:339:21
[INFO] [stdout]     |
[INFO] [stdout] 339 |           TVariable(reverse_free_variable(alpha))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:344:32
[INFO] [stdout]     |
[INFO] [stdout] 344 |         let ret = MAbstraction(reverse_bound_variable(x), Box::new(c.reverse_sub(bv)));
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:351:33
[INFO] [stdout]     |
[INFO] [stdout] 351 |         let ret = TLAbstraction(reverse_bound_variable(beta), Box::new(e.reverse_sub(bv)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:445:21
[INFO] [stdout]     |
[INFO] [stdout] 445 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:459:21
[INFO] [stdout]     |
[INFO] [stdout] 459 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:483:21
[INFO] [stdout]     |
[INFO] [stdout] 483 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:499:21
[INFO] [stdout]     |
[INFO] [stdout] 499 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:522:17
[INFO] [stdout]     |
[INFO] [stdout] 522 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:529:21
[INFO] [stdout]     |
[INFO] [stdout] 529 |         let alpha = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:542:21
[INFO] [stdout]     |
[INFO] [stdout] 542 |           CVariable(reverse_bound_variable(x))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:544:21
[INFO] [stdout]     |
[INFO] [stdout] 544 |           CVariable(reverse_free_variable(x))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:549:33
[INFO] [stdout]     |
[INFO] [stdout] 549 |         let ret = CLAbstraction(reverse_bound_variable(x), Box::new(v.reverse_sub(bv)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:555:33
[INFO] [stdout]     |
[INFO] [stdout] 555 |         let ret = MtAbstraction(reverse_bound_variable(beta), Box::new(c.reverse_sub(bv)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lambda_double::*`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use lambda_double::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lambdabar_mu::*`
[INFO] [stdout]   --> src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use lambdabar_mu::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lambdabar_mu_mutilde::*`
[INFO] [stdout]   --> src/main.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use lambdabar_mu_mutilde::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:100:21
[INFO] [stdout]     |
[INFO] [stdout] 100 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:185:17
[INFO] [stdout]     |
[INFO] [stdout] 185 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:186:17
[INFO] [stdout]     |
[INFO] [stdout] 186 |         let x = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:194:17
[INFO] [stdout]     |
[INFO] [stdout] 194 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:216:17
[INFO] [stdout]     |
[INFO] [stdout] 216 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:217:20
[INFO] [stdout]     |
[INFO] [stdout] 217 |         let beta = generate_cvariable();
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:228:17
[INFO] [stdout]     |
[INFO] [stdout] 228 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda.rs:229:17
[INFO] [stdout]     |
[INFO] [stdout] 229 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:155:19
[INFO] [stdout]     |
[INFO] [stdout] 155 |             tmp = generate_tvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:157:19
[INFO] [stdout]     |
[INFO] [stdout] 157 |             tmp = generate_kvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:159:19
[INFO] [stdout]     |
[INFO] [stdout] 159 |             tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:183:18
[INFO] [stdout]     |
[INFO] [stdout] 183 |             y2 = generate_tvariable();
[INFO] [stdout]     |                  ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:189:21
[INFO] [stdout]     |
[INFO] [stdout] 189 |             beta2 = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:302:17
[INFO] [stdout]     |
[INFO] [stdout] 302 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:303:17
[INFO] [stdout]     |
[INFO] [stdout] 303 |         let x = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:314:17
[INFO] [stdout]     |
[INFO] [stdout] 314 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:327:17
[INFO] [stdout]     |
[INFO] [stdout] 327 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:335:17
[INFO] [stdout]     |
[INFO] [stdout] 335 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:336:20
[INFO] [stdout]     |
[INFO] [stdout] 336 |         let beta = generate_cvariable();
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:346:17
[INFO] [stdout]     |
[INFO] [stdout] 346 |         let k = generate_kvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_double.rs:347:17
[INFO] [stdout]     |
[INFO] [stdout] 347 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:221:21
[INFO] [stdout]     |
[INFO] [stdout] 221 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:254:21
[INFO] [stdout]     |
[INFO] [stdout] 254 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:275:19
[INFO] [stdout]     |
[INFO] [stdout] 275 |         let tmp = generate_tvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambda_mu.rs:285:19
[INFO] [stdout]     |
[INFO] [stdout] 285 |         let tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu.rs:265:21
[INFO] [stdout]     |
[INFO] [stdout] 265 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu.rs:287:21
[INFO] [stdout]     |
[INFO] [stdout] 287 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:113:21
[INFO] [stdout]     |
[INFO] [stdout] 113 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:276:21
[INFO] [stdout]     |
[INFO] [stdout] 276 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:314:17
[INFO] [stdout]     |
[INFO] [stdout] 314 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:417:21
[INFO] [stdout]     |
[INFO] [stdout] 417 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:439:21
[INFO] [stdout]     |
[INFO] [stdout] 439 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:460:19
[INFO] [stdout]     |
[INFO] [stdout] 460 |         let tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:477:19
[INFO] [stdout]     |
[INFO] [stdout] 477 |         let tmp = generate_cvariable();
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:495:17
[INFO] [stdout]     |
[INFO] [stdout] 495 |         let x = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:496:21
[INFO] [stdout]     |
[INFO] [stdout] 496 |         let alpha = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:515:17
[INFO] [stdout]     |
[INFO] [stdout] 515 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde.rs:525:21
[INFO] [stdout]     |
[INFO] [stdout] 525 |         let alpha = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]   --> src/lambdabar_mu_mutilde_comp.rs:92:21
[INFO] [stdout]    |
[INFO] [stdout] 92 |           let tmp = generate_tvariable();
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:118:21
[INFO] [stdout]     |
[INFO] [stdout] 118 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:237:21
[INFO] [stdout]     |
[INFO] [stdout] 237 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:255:21
[INFO] [stdout]     |
[INFO] [stdout] 255 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:281:21
[INFO] [stdout]     |
[INFO] [stdout] 281 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:301:21
[INFO] [stdout]     |
[INFO] [stdout] 301 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:320:17
[INFO] [stdout]     |
[INFO] [stdout] 320 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:337:21
[INFO] [stdout]     |
[INFO] [stdout] 337 |           TVariable(reverse_bound_variable(alpha))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:339:21
[INFO] [stdout]     |
[INFO] [stdout] 339 |           TVariable(reverse_free_variable(alpha))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:344:32
[INFO] [stdout]     |
[INFO] [stdout] 344 |         let ret = MAbstraction(reverse_bound_variable(x), Box::new(c.reverse_sub(bv)));
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:351:33
[INFO] [stdout]     |
[INFO] [stdout] 351 |         let ret = TLAbstraction(reverse_bound_variable(beta), Box::new(e.reverse_sub(bv)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:445:21
[INFO] [stdout]     |
[INFO] [stdout] 445 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:459:21
[INFO] [stdout]     |
[INFO] [stdout] 459 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:483:21
[INFO] [stdout]     |
[INFO] [stdout] 483 |           let tmp = generate_tvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:499:21
[INFO] [stdout]     |
[INFO] [stdout] 499 |           let tmp = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:522:17
[INFO] [stdout]     |
[INFO] [stdout] 522 |         let y = generate_tvariable();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:529:21
[INFO] [stdout]     |
[INFO] [stdout] 529 |         let alpha = generate_cvariable();
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:542:21
[INFO] [stdout]     |
[INFO] [stdout] 542 |           CVariable(reverse_bound_variable(x))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:544:21
[INFO] [stdout]     |
[INFO] [stdout] 544 |           CVariable(reverse_free_variable(x))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:549:33
[INFO] [stdout]     |
[INFO] [stdout] 549 |         let ret = CLAbstraction(reverse_bound_variable(x), Box::new(v.reverse_sub(bv)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stdout]    --> src/lambdabar_mu_mutilde_comp.rs:555:33
[INFO] [stdout]     |
[INFO] [stdout] 555 |         let ret = MtAbstraction(reverse_bound_variable(beta), Box::new(c.reverse_sub(bv)));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lambda_double::*`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use lambda_double::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lambdabar_mu::*`
[INFO] [stdout]   --> src/main.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use lambdabar_mu::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `lambdabar_mu_mutilde::*`
[INFO] [stdout]   --> src/main.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use lambdabar_mu_mutilde::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `translate_l2r` found for enum `lambdabar_mu_mutilde_comp::LbMMtCompCommand` in the current scope
[INFO] [stdout]   --> src/main.rs:22:32
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let e1 = LbMMtCompCommand::translate_l2r(&e);
[INFO] [stdout]    |                                ^^^^^^^^^^^^^ variant or associated item not found in `lambdabar_mu_mutilde_comp::LbMMtCompCommand`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: src/lambdabar_mu_mutilde_comp.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub enum LbMMtCompCommand {
[INFO] [stdout]    | ------------------------- variant or associated item `translate_l2r` not found here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no variant or associated item named `translate_l2r` found for enum `lambdabar_mu_mutilde_comp::LbMMtCompCommand` in the current scope
[INFO] [stdout]   --> src/main.rs:22:32
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let e1 = LbMMtCompCommand::translate_l2r(&e);
[INFO] [stdout]    |                                ^^^^^^^^^^^^^ variant or associated item not found in `lambdabar_mu_mutilde_comp::LbMMtCompCommand`
[INFO] [stdout]    | 
[INFO] [stdout]   ::: src/lambdabar_mu_mutilde_comp.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub enum LbMMtCompCommand {
[INFO] [stdout]    | ------------------------- variant or associated item `translate_l2r` not found here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 68 previous errors; 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0432, E0583, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lmm-calculus` due to 69 previous errors; 3 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 68 previous errors; 3 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0432, E0583, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: build failed
[INFO] running `Command { std: "docker" "inspect" "9627565226a4aded456c1954a2e8ec839c8c71652d8697d779985c7b85a1f579", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9627565226a4aded456c1954a2e8ec839c8c71652d8697d779985c7b85a1f579", kill_on_drop: false }`
[INFO] [stdout] 9627565226a4aded456c1954a2e8ec839c8c71652d8697d779985c7b85a1f579