[INFO] updating cached repository https://github.com/darshimo/lmm-calculus
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 501d63ae56f60393a8349d2df4f82a11bc5f125c
[INFO] checking darshimo/lmm-calculus against master#209b2be09fcaff937480d1fbbe8b31646e361c7a for pr-70917
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdarshimo%2Flmm-calculus" "/workspace/builds/worker-4/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/darshimo/lmm-calculus on toolchain 209b2be09fcaff937480d1fbbe8b31646e361c7a
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "read-manifest" "--manifest-path" "Cargo.toml"`
[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-4/source/Cargo.toml
[INFO] crate git repo https://github.com/darshimo/lmm-calculus already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+209b2be09fcaff937480d1fbbe8b31646e361c7a" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 97a6a44db3e831ab40bcdf13dc2d687e7e6896d0e22e01cd1c682130ea7e4ab6
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "97a6a44db3e831ab40bcdf13dc2d687e7e6896d0e22e01cd1c682130ea7e4ab6"`
[INFO] [stderr]     Checking lmm-calculus v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0583]: file not found for module `generator`
[INFO] [stderr]  --> src/main.rs:1:1
[INFO] [stderr]   |
[INFO] [stderr] 1 | mod generator;
[INFO] [stderr]   | ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = help: to create the module `generator`, create file "src/generator.rs"
[INFO] [stderr] 
[INFO] [stderr] error[E0583]: file not found for module `generator`
[INFO] [stderr]  --> src/main.rs:1:1
[INFO] [stderr]   |
[INFO] [stderr] 1 | mod generator;
[INFO] [stderr]   | ^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = help: to create the module `generator`, create file "src/generator.rs"
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambda.rs:9:12
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]   --> src/lambda_double.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use crate::variable::*;
[INFO] [stderr]    |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambda_mu.rs:8:12
[INFO] [stderr]   |
[INFO] [stderr] 8 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambdabar_mu.rs:9:12
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]   --> src/lambdabar_mu_mutilde.rs:10:12
[INFO] [stderr]    |
[INFO] [stderr] 10 | use crate::variable::*;
[INFO] [stderr]    |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambdabar_mu_mutilde_comp.rs:8:12
[INFO] [stderr]   |
[INFO] [stderr] 8 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:100:21
[INFO] [stderr]     |
[INFO] [stderr] 100 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:185:17
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:186:17
[INFO] [stderr]     |
[INFO] [stderr] 186 |         let x = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:194:17
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:208:17
[INFO] [stderr]     |
[INFO] [stderr] 208 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:216:17
[INFO] [stderr]     |
[INFO] [stderr] 216 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:217:20
[INFO] [stderr]     |
[INFO] [stderr] 217 |         let beta = generate_cvariable();
[INFO] [stderr]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:228:17
[INFO] [stderr]     |
[INFO] [stderr] 228 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:229:17
[INFO] [stderr]     |
[INFO] [stderr] 229 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:155:19
[INFO] [stderr]     |
[INFO] [stderr] 155 |             tmp = generate_tvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:157:19
[INFO] [stderr]     |
[INFO] [stderr] 157 |             tmp = generate_kvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:159:19
[INFO] [stderr]     |
[INFO] [stderr] 159 |             tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambda.rs:9:12
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:183:18
[INFO] [stderr]     |
[INFO] [stderr] 183 |             y2 = generate_tvariable();
[INFO] [stderr]     |                  ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:189:21
[INFO] [stderr]     |
[INFO] [stderr] 189 |             beta2 = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:302:17
[INFO] [stderr]     |
[INFO] [stderr] 302 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]   --> src/lambda_double.rs:11:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | use crate::variable::*;
[INFO] [stderr]    |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:303:17
[INFO] [stderr]     |
[INFO] [stderr] 303 |         let x = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:314:17
[INFO] [stderr]     |
[INFO] [stderr] 314 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:327:17
[INFO] [stderr]     |
[INFO] [stderr] 327 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:335:17
[INFO] [stderr]     |
[INFO] [stderr] 335 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambda_mu.rs:8:12
[INFO] [stderr]   |
[INFO] [stderr] 8 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:336:20
[INFO] [stderr]     |
[INFO] [stderr] 336 |         let beta = generate_cvariable();
[INFO] [stderr]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:346:17
[INFO] [stderr]     |
[INFO] [stderr] 346 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:347:17
[INFO] [stderr]     |
[INFO] [stderr] 347 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:221:21
[INFO] [stderr]     |
[INFO] [stderr] 221 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:254:21
[INFO] [stderr]     |
[INFO] [stderr] 254 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:275:19
[INFO] [stderr]     |
[INFO] [stderr] 275 |         let tmp = generate_tvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:285:19
[INFO] [stderr]     |
[INFO] [stderr] 285 |         let tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu.rs:265:21
[INFO] [stderr]     |
[INFO] [stderr] 265 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu.rs:287:21
[INFO] [stderr]     |
[INFO] [stderr] 287 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:113:21
[INFO] [stderr]     |
[INFO] [stderr] 113 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:276:21
[INFO] [stderr]     |
[INFO] [stderr] 276 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:314:17
[INFO] [stderr]     |
[INFO] [stderr] 314 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:417:21
[INFO] [stderr]     |
[INFO] [stderr] 417 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:439:21
[INFO] [stderr]     |
[INFO] [stderr] 439 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:460:19
[INFO] [stderr]     |
[INFO] [stderr] 460 |         let tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:477:19
[INFO] [stderr]     |
[INFO] [stderr] 477 |         let tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:495:17
[INFO] [stderr]     |
[INFO] [stderr] 495 |         let x = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:496:21
[INFO] [stderr]     |
[INFO] [stderr] 496 |         let alpha = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:515:17
[INFO] [stderr]     |
[INFO] [stderr] 515 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:525:21
[INFO] [stderr]     |
[INFO] [stderr] 525 |         let alpha = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]   --> src/lambdabar_mu_mutilde_comp.rs:92:21
[INFO] [stderr]    |
[INFO] [stderr] 92 |           let tmp = generate_tvariable();
[INFO] [stderr]    |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:118:21
[INFO] [stderr]     |
[INFO] [stderr] 118 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:237:21
[INFO] [stderr]     |
[INFO] [stderr] 237 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:255:21
[INFO] [stderr]     |
[INFO] [stderr] 255 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:281:21
[INFO] [stderr]     |
[INFO] [stderr] 281 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:301:21
[INFO] [stderr]     |
[INFO] [stderr] 301 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambdabar_mu.rs:9:12
[INFO] [stderr]   |
[INFO] [stderr] 9 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]   --> src/lambdabar_mu_mutilde.rs:10:12
[INFO] [stderr]    |
[INFO] [stderr] 10 | use crate::variable::*;
[INFO] [stderr]    |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0432]: unresolved import `crate::variable`
[INFO] [stderr]  --> src/lambdabar_mu_mutilde_comp.rs:8:12
[INFO] [stderr]   |
[INFO] [stderr] 8 | use crate::variable::*;
[INFO] [stderr]   |            ^^^^^^^^ maybe a missing crate `variable`?
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:320:17
[INFO] [stderr]     |
[INFO] [stderr] 320 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:337:21
[INFO] [stderr]     |
[INFO] [stderr] 337 |           TVariable(reverse_bound_variable(alpha))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:339:21
[INFO] [stderr]     |
[INFO] [stderr] 339 |           TVariable(reverse_free_variable(alpha))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:344:32
[INFO] [stderr]     |
[INFO] [stderr] 344 |         let ret = MAbstraction(reverse_bound_variable(x), Box::new(c.reverse_sub(bv)));
[INFO] [stderr]     |                                ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:351:33
[INFO] [stderr]     |
[INFO] [stderr] 351 |         let ret = TLAbstraction(reverse_bound_variable(beta), Box::new(e.reverse_sub(bv)));
[INFO] [stderr]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:445:21
[INFO] [stderr]     |
[INFO] [stderr] 445 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:459:21
[INFO] [stderr]     |
[INFO] [stderr] 459 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:483:21
[INFO] [stderr]     |
[INFO] [stderr] 483 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:499:21
[INFO] [stderr]     |
[INFO] [stderr] 499 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:522:17
[INFO] [stderr]     |
[INFO] [stderr] 522 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:529:21
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let alpha = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:542:21
[INFO] [stderr]     |
[INFO] [stderr] 542 |           CVariable(reverse_bound_variable(x))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:544:21
[INFO] [stderr]     |
[INFO] [stderr] 544 |           CVariable(reverse_free_variable(x))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:549:33
[INFO] [stderr]     |
[INFO] [stderr] 549 |         let ret = CLAbstraction(reverse_bound_variable(x), Box::new(v.reverse_sub(bv)));
[INFO] [stderr]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:555:33
[INFO] [stderr]     |
[INFO] [stderr] 555 |         let ret = MtAbstraction(reverse_bound_variable(beta), Box::new(c.reverse_sub(bv)));
[INFO] [stderr]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lambda_double::*`
[INFO] [stderr]   --> src/main.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | use lambda_double::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lambdabar_mu::*`
[INFO] [stderr]   --> src/main.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 | use lambdabar_mu::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lambdabar_mu_mutilde::*`
[INFO] [stderr]   --> src/main.rs:15:5
[INFO] [stderr]    |
[INFO] [stderr] 15 | use lambdabar_mu_mutilde::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:100:21
[INFO] [stderr]     |
[INFO] [stderr] 100 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:185:17
[INFO] [stderr]     |
[INFO] [stderr] 185 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:186:17
[INFO] [stderr]     |
[INFO] [stderr] 186 |         let x = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:194:17
[INFO] [stderr]     |
[INFO] [stderr] 194 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:208:17
[INFO] [stderr]     |
[INFO] [stderr] 208 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:216:17
[INFO] [stderr]     |
[INFO] [stderr] 216 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:217:20
[INFO] [stderr]     |
[INFO] [stderr] 217 |         let beta = generate_cvariable();
[INFO] [stderr]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:228:17
[INFO] [stderr]     |
[INFO] [stderr] 228 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda.rs:229:17
[INFO] [stderr]     |
[INFO] [stderr] 229 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:155:19
[INFO] [stderr]     |
[INFO] [stderr] 155 |             tmp = generate_tvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:157:19
[INFO] [stderr]     |
[INFO] [stderr] 157 |             tmp = generate_kvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:159:19
[INFO] [stderr]     |
[INFO] [stderr] 159 |             tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:183:18
[INFO] [stderr]     |
[INFO] [stderr] 183 |             y2 = generate_tvariable();
[INFO] [stderr]     |                  ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:189:21
[INFO] [stderr]     |
[INFO] [stderr] 189 |             beta2 = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:302:17
[INFO] [stderr]     |
[INFO] [stderr] 302 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:303:17
[INFO] [stderr]     |
[INFO] [stderr] 303 |         let x = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:314:17
[INFO] [stderr]     |
[INFO] [stderr] 314 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:327:17
[INFO] [stderr]     |
[INFO] [stderr] 327 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:335:17
[INFO] [stderr]     |
[INFO] [stderr] 335 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:336:20
[INFO] [stderr]     |
[INFO] [stderr] 336 |         let beta = generate_cvariable();
[INFO] [stderr]     |                    ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_kvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:346:17
[INFO] [stderr]     |
[INFO] [stderr] 346 |         let k = generate_kvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_double.rs:347:17
[INFO] [stderr]     |
[INFO] [stderr] 347 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:221:21
[INFO] [stderr]     |
[INFO] [stderr] 221 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:254:21
[INFO] [stderr]     |
[INFO] [stderr] 254 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:275:19
[INFO] [stderr]     |
[INFO] [stderr] 275 |         let tmp = generate_tvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambda_mu.rs:285:19
[INFO] [stderr]     |
[INFO] [stderr] 285 |         let tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu.rs:265:21
[INFO] [stderr]     |
[INFO] [stderr] 265 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu.rs:287:21
[INFO] [stderr]     |
[INFO] [stderr] 287 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:113:21
[INFO] [stderr]     |
[INFO] [stderr] 113 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:276:21
[INFO] [stderr]     |
[INFO] [stderr] 276 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:314:17
[INFO] [stderr]     |
[INFO] [stderr] 314 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:417:21
[INFO] [stderr]     |
[INFO] [stderr] 417 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:439:21
[INFO] [stderr]     |
[INFO] [stderr] 439 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:460:19
[INFO] [stderr]     |
[INFO] [stderr] 460 |         let tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:477:19
[INFO] [stderr]     |
[INFO] [stderr] 477 |         let tmp = generate_cvariable();
[INFO] [stderr]     |                   ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:495:17
[INFO] [stderr]     |
[INFO] [stderr] 495 |         let x = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:496:21
[INFO] [stderr]     |
[INFO] [stderr] 496 |         let alpha = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:515:17
[INFO] [stderr]     |
[INFO] [stderr] 515 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde.rs:525:21
[INFO] [stderr]     |
[INFO] [stderr] 525 |         let alpha = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]   --> src/lambdabar_mu_mutilde_comp.rs:92:21
[INFO] [stderr]    |
[INFO] [stderr] 92 |           let tmp = generate_tvariable();
[INFO] [stderr]    |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:118:21
[INFO] [stderr]     |
[INFO] [stderr] 118 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:237:21
[INFO] [stderr]     |
[INFO] [stderr] 237 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:255:21
[INFO] [stderr]     |
[INFO] [stderr] 255 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:281:21
[INFO] [stderr]     |
[INFO] [stderr] 281 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:301:21
[INFO] [stderr]     |
[INFO] [stderr] 301 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:320:17
[INFO] [stderr]     |
[INFO] [stderr] 320 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:337:21
[INFO] [stderr]     |
[INFO] [stderr] 337 |           TVariable(reverse_bound_variable(alpha))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:339:21
[INFO] [stderr]     |
[INFO] [stderr] 339 |           TVariable(reverse_free_variable(alpha))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:344:32
[INFO] [stderr]     |
[INFO] [stderr] 344 |         let ret = MAbstraction(reverse_bound_variable(x), Box::new(c.reverse_sub(bv)));
[INFO] [stderr]     |                                ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:351:33
[INFO] [stderr]     |
[INFO] [stderr] 351 |         let ret = TLAbstraction(reverse_bound_variable(beta), Box::new(e.reverse_sub(bv)));
[INFO] [stderr]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:445:21
[INFO] [stderr]     |
[INFO] [stderr] 445 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:459:21
[INFO] [stderr]     |
[INFO] [stderr] 459 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:483:21
[INFO] [stderr]     |
[INFO] [stderr] 483 |           let tmp = generate_tvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:499:21
[INFO] [stderr]     |
[INFO] [stderr] 499 |           let tmp = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_tvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:522:17
[INFO] [stderr]     |
[INFO] [stderr] 522 |         let y = generate_tvariable();
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `generate_cvariable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:529:21
[INFO] [stderr]     |
[INFO] [stderr] 529 |         let alpha = generate_cvariable();
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:542:21
[INFO] [stderr]     |
[INFO] [stderr] 542 |           CVariable(reverse_bound_variable(x))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_free_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:544:21
[INFO] [stderr]     |
[INFO] [stderr] 544 |           CVariable(reverse_free_variable(x))
[INFO] [stderr]     |                     ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:549:33
[INFO] [stderr]     |
[INFO] [stderr] 549 |         let ret = CLAbstraction(reverse_bound_variable(x), Box::new(v.reverse_sub(bv)));
[INFO] [stderr]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find function `reverse_bound_variable` in this scope
[INFO] [stderr]    --> src/lambdabar_mu_mutilde_comp.rs:555:33
[INFO] [stderr]     |
[INFO] [stderr] 555 |         let ret = MtAbstraction(reverse_bound_variable(beta), Box::new(c.reverse_sub(bv)));
[INFO] [stderr]     |                                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0599]: no variant or associated item named `translate_l2r` found for enum `lambdabar_mu_mutilde_comp::LbMMtCompCommand` in the current scope
[INFO] [stderr]   --> src/main.rs:22:32
[INFO] [stderr]    |
[INFO] [stderr] 22 |     let e1 = LbMMtCompCommand::translate_l2r(&e);
[INFO] [stderr]    |                                ^^^^^^^^^^^^^ variant or associated item not found in `lambdabar_mu_mutilde_comp::LbMMtCompCommand`
[INFO] [stderr]    | 
[INFO] [stderr]   ::: src/lambdabar_mu_mutilde_comp.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub enum LbMMtCompCommand {
[INFO] [stderr]    | ------------------------- variant or associated item `translate_l2r` not found here
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lambda_double::*`
[INFO] [stderr]   --> src/main.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 12 | use lambda_double::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lambdabar_mu::*`
[INFO] [stderr]   --> src/main.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 14 | use lambdabar_mu::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `lambdabar_mu_mutilde::*`
[INFO] [stderr]   --> src/main.rs:15:5
[INFO] [stderr]    |
[INFO] [stderr] 15 | use lambdabar_mu_mutilde::*;
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] error[E0599]: no variant or associated item named `translate_l2r` found for enum `lambdabar_mu_mutilde_comp::LbMMtCompCommand` in the current scope
[INFO] [stderr]   --> src/main.rs:22:32
[INFO] [stderr]    |
[INFO] [stderr] 22 |     let e1 = LbMMtCompCommand::translate_l2r(&e);
[INFO] [stderr]    |                                ^^^^^^^^^^^^^ variant or associated item not found in `lambdabar_mu_mutilde_comp::LbMMtCompCommand`
[INFO] [stderr]    | 
[INFO] [stderr]   ::: src/lambdabar_mu_mutilde_comp.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub enum LbMMtCompCommand {
[INFO] [stderr]    | ------------------------- variant or associated item `translate_l2r` not found here
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 68 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0425, E0432, E0583, E0599.
[INFO] [stderr] For more information about an error, try `rustc --explain E0425`.
[INFO] [stderr] error: could not compile `lmm-calculus`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: aborting due to 68 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0425, E0432, E0583, E0599.
[INFO] [stderr] For more information about an error, try `rustc --explain E0425`.
[INFO] [stderr] error: could not compile `lmm-calculus`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "97a6a44db3e831ab40bcdf13dc2d687e7e6896d0e22e01cd1c682130ea7e4ab6"`
[INFO] running `"docker" "rm" "-f" "97a6a44db3e831ab40bcdf13dc2d687e7e6896d0e22e01cd1c682130ea7e4ab6"`
[INFO] [stdout] 97a6a44db3e831ab40bcdf13dc2d687e7e6896d0e22e01cd1c682130ea7e4ab6
