[INFO] cloning repository https://github.com/MaXiaoye/CAS706_assignment3_Rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MaXiaoye/CAS706_assignment3_Rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMaXiaoye%2FCAS706_assignment3_Rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMaXiaoye%2FCAS706_assignment3_Rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c026c323ec5117cf87b72eb514b027e0e1f39a8f
[INFO] documenting MaXiaoye/CAS706_assignment3_Rust against 1.46.0 for beta-1.47-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMaXiaoye%2FCAS706_assignment3_Rust" "/workspace/builds/worker-8/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-8/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/MaXiaoye/CAS706_assignment3_Rust on toolchain 1.46.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.46.0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/MaXiaoye/CAS706_assignment3_Rust
[INFO] finished tweaking git repo https://github.com/MaXiaoye/CAS706_assignment3_Rust
[INFO] tweaked toml for git repo https://github.com/MaXiaoye/CAS706_assignment3_Rust written to /workspace/builds/worker-8/source/Cargo.toml
[INFO] crate git repo https://github.com/MaXiaoye/CAS706_assignment3_Rust already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.46.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently
[INFO] [stderr] disables Cargo from automatically inferring other binary targets.
[INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following
[INFO] [stderr] files will be included as a binary target:
[INFO] [stderr] 
[INFO] [stderr] * /workspace/builds/worker-8/source/src/main.rs
[INFO] [stderr] 
[INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be
[INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself
[INFO] [stderr] and disable this warning by adding `autobins = false` to your [package]
[INFO] [stderr] section. You may also move the files to a location where Cargo would not
[INFO] [stderr] automatically infer them to be a target, such as in subfolders.
[INFO] [stderr] 
[INFO] [stderr] For more information on this warning you can consult
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330
[INFO] [stderr] warning: path `/workspace/builds/worker-8/source/src/main.rs` was erroneously implicitly accepted for binary `hello_world`,
[INFO] [stderr] please set bin.path in Cargo.toml
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.46.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 0e4d2eb04e6049d25fa28004b24aca5a3b3aca0a83c151e66bed189c5067f070
[INFO] running `Command { std: "docker" "start" "-a" "0e4d2eb04e6049d25fa28004b24aca5a3b3aca0a83c151e66bed189c5067f070", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e4d2eb04e6049d25fa28004b24aca5a3b3aca0a83c151e66bed189c5067f070", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e4d2eb04e6049d25fa28004b24aca5a3b3aca0a83c151e66bed189c5067f070", kill_on_drop: false }`
[INFO] [stdout] 0e4d2eb04e6049d25fa28004b24aca5a3b3aca0a83c151e66bed189c5067f070
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.46.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b734eb9014119c58af454bb58d88f0f2527c4fa5ca66ac4fa9fac0c44cf3b63b
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "b734eb9014119c58af454bb58d88f0f2527c4fa5ca66ac4fa9fac0c44cf3b63b", kill_on_drop: false }`
[INFO] [stderr] warning: An explicit [[bin]] section is specified in Cargo.toml which currently
[INFO] [stderr] disables Cargo from automatically inferring other binary targets.
[INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following
[INFO] [stderr] files will be included as a binary target:
[INFO] [stderr] 
[INFO] [stderr] * /opt/rustwide/workdir/src/main.rs
[INFO] [stderr] 
[INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be
[INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself
[INFO] [stderr] and disable this warning by adding `autobins = false` to your [package]
[INFO] [stderr] section. You may also move the files to a location where Cargo would not
[INFO] [stderr] automatically infer them to be a target, such as in subfolders.
[INFO] [stderr] 
[INFO] [stderr] For more information on this warning you can consult
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330
[INFO] [stderr] warning: path `/opt/rustwide/workdir/src/main.rs` was erroneously implicitly accepted for binary `hello_world`,
[INFO] [stderr] please set bin.path in Cargo.toml
[INFO] [stderr]  Documenting assignmentThree_Rust v0.0.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variant `T_INT` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:46:3
[INFO] [stdout]    |
[INFO] [stdout] 46 |         T_INT{ty: Type, value: u32},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TInt`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_BOOL` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:47:6
[INFO] [stdout]    |
[INFO] [stdout] 47 |         T_BOOL{ty: Type, value: bool},
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to upper camel case: `TBool`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_VAR` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:48:6
[INFO] [stdout]    |
[INFO] [stdout] 48 |         T_VAR{ty: Type, name: char},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TVar`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_FUN` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:49:6
[INFO] [stdout]    |
[INFO] [stdout] 49 |         T_FUN{ty: Type, param: Box<TypedTerm>, body: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TFun`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_Closure` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:50:6
[INFO] [stdout]    |
[INFO] [stdout] 50 |         T_Closure{fun: Box<TypedTerm>, env: InterpEnv},
[INFO] [stdout]    |         ^^^^^^^^^ help: convert the identifier to upper camel case: `TClosure`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_APP` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:51:6
[INFO] [stdout]    |
[INFO] [stdout] 51 |         T_APP{ty: Type, fun: Box<TypedTerm>, arg: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TApp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_CALC` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:52:6
[INFO] [stdout]    |
[INFO] [stdout] 52 |         T_CALC{ty: Type, op: char, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to upper camel case: `TCalc`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_NOT` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:53:6
[INFO] [stdout]    |
[INFO] [stdout] 53 |         T_NOT{ty: Type, exp: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TNot`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_AND` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:54:6
[INFO] [stdout]    |
[INFO] [stdout] 54 |         T_AND{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TAnd`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_OR` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:55:6
[INFO] [stdout]    |
[INFO] [stdout] 55 |         T_OR{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^ help: convert the identifier to upper camel case: `TOr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_EQU` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:56:6
[INFO] [stdout]    |
[INFO] [stdout] 56 |         T_EQU{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TEqu`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_LT` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:57:6
[INFO] [stdout]    |
[INFO] [stdout] 57 |         T_LT{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^ help: convert the identifier to upper camel case: `TLt`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_IF` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:58:6
[INFO] [stdout]    |
[INFO] [stdout] 58 |         T_IF{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>},
[INFO] [stdout]    |         ^^^^ help: convert the identifier to upper camel case: `TIf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `T_LET` should have an upper camel case name
[INFO] [stdout]   --> src/main.rs:59:6
[INFO] [stdout]    |
[INFO] [stdout] 59 |         T_LET{ty: Type, exp1: Box<TypedTerm>, exp2: Box<TypedTerm>, exp3: Box<TypedTerm>}
[INFO] [stdout]    |         ^^^^^ help: convert the identifier to upper camel case: `TLet`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `ParamTy` should have a snake case name
[INFO] [stdout]   --> src/main.rs:33:9
[INFO] [stdout]    |
[INFO] [stdout] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
[INFO] [stdout]    |               ^^^^^^^ help: convert the identifier to snake case: `param_ty`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `ReturnTy` should have a snake case name
[INFO] [stdout]   --> src/main.rs:33:29
[INFO] [stdout]    |
[INFO] [stdout] 33 |         TyFun{ParamTy: Box<Type>, ReturnTy: Box<Type>}
[INFO] [stdout]    |                                   ^^^^^^^^ help: convert the identifier to snake case: `return_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `freshVar` should have a snake case name
[INFO] [stdout]   --> src/main.rs:37:5
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn freshVar(v: &mut u32) -> Type {
[INFO] [stdout]    |        ^^^^^^^^ help: convert the identifier to snake case: `fresh_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `getType` should have a snake case name
[INFO] [stdout]   --> src/main.rs:65:6
[INFO] [stdout]    |
[INFO] [stdout] 65 |         fn getType(self) -> Type {
[INFO] [stdout]    |            ^^^^^^^ help: convert the identifier to snake case: `get_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Env` should have a snake case name
[INFO] [stdout]   --> src/main.rs:88:3
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Env: HashMap<char,Type>
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `varNum` should have a snake case name
[INFO] [stdout]    --> src/main.rs:107:52
[INFO] [stdout]     |
[INFO] [stdout] 107 |     fn annotate(term: UntypedTerm, mut tenv: TypeEnv, varNum: &mut u32) -> TypedTerm {
[INFO] [stdout]     |                                                       ^^^^^^ help: convert the identifier to snake case: `var_num`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `typeA` should have a snake case name
[INFO] [stdout]    --> src/main.rs:149:3
[INFO] [stdout]     |
[INFO] [stdout] 149 |         typeA: Type,
[INFO] [stdout]     |         ^^^^^ help: convert the identifier to snake case: `type_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `typeB` should have a snake case name
[INFO] [stdout]    --> src/main.rs:150:3
[INFO] [stdout]     |
[INFO] [stdout] 150 |         typeB: Type
[INFO] [stdout]     |         ^^^^^ help: convert the identifier to snake case: `type_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `fromPair` should have a snake case name
[INFO] [stdout]    --> src/main.rs:277:6
[INFO] [stdout]     |
[INFO] [stdout] 277 |         fn fromPair(tvar: u32, ty: Type) -> Substitution {
[INFO] [stdout]     |            ^^^^^^^^ help: convert the identifier to snake case: `from_pair`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `applyToSet` should have a snake case name
[INFO] [stdout]    --> src/main.rs:284:6
[INFO] [stdout]     |
[INFO] [stdout] 284 |         fn applyToSet (&self,constraints: &mut Vec<Constraint>) -> Vec<Constraint> {
[INFO] [stdout]     |            ^^^^^^^^^^ help: convert the identifier to snake case: `apply_to_set`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `applyOneType` should have a snake case name
[INFO] [stdout]    --> src/main.rs:293:6
[INFO] [stdout]     |
[INFO] [stdout] 293 |         fn applyOneType(&self, ty: Type) -> Type {
[INFO] [stdout]     |            ^^^^^^^^^^^^ help: convert the identifier to snake case: `apply_one_type`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `unifyOne` should have a snake case name
[INFO] [stdout]    --> src/main.rs:343:5
[INFO] [stdout]     |
[INFO] [stdout] 343 |     fn unifyOne(constraint: Constraint) -> Substitution {
[INFO] [stdout]     |        ^^^^^^^^ help: convert the identifier to snake case: `unify_one`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `unifyVar` should have a snake case name
[INFO] [stdout]    --> src/main.rs:356:5
[INFO] [stdout]     |
[INFO] [stdout] 356 |     fn unifyVar(tvar: u32, ty: Type) -> Substitution {
[INFO] [stdout]     |        ^^^^^^^^ help: convert the identifier to snake case: `unify_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `typeInference` should have a snake case name
[INFO] [stdout]    --> src/main.rs:397:5
[INFO] [stdout]     |
[INFO] [stdout] 397 |     fn typeInference(term: UntypedTerm) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^ help: convert the identifier to snake case: `type_inference`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: structure field `Env` should have a snake case name
[INFO] [stdout]    --> src/main.rs:415:3
[INFO] [stdout]     |
[INFO] [stdout] 415 |         Env: HashMap<char,TypedTerm>
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `env`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Interp` should have a snake case name
[INFO] [stdout]    --> src/main.rs:433:5
[INFO] [stdout]     |
[INFO] [stdout] 433 |     fn Interp(term: TypedTerm, env: &mut InterpEnv) -> TypedTerm {
[INFO] [stdout]     |        ^^^^^^ help: convert the identifier to snake case (notice the capitalization): `interp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `InterpE` should have a snake case name
[INFO] [stdout]    --> src/main.rs:522:5
[INFO] [stdout]     |
[INFO] [stdout] 522 |     fn InterpE(term: UntypedTerm) {
[INFO] [stdout]     |        ^^^^^^^ help: convert the identifier to snake case: `interp_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Add` should have a snake case name
[INFO] [stdout]    --> src/main.rs:534:5
[INFO] [stdout]     |
[INFO] [stdout] 534 |     fn Add(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `add`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Minus` should have a snake case name
[INFO] [stdout]    --> src/main.rs:541:5
[INFO] [stdout]     |
[INFO] [stdout] 541 |     fn Minus(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^^^^ help: convert the identifier to snake case: `minus`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Mul` should have a snake case name
[INFO] [stdout]    --> src/main.rs:548:5
[INFO] [stdout]     |
[INFO] [stdout] 548 |     fn Mul(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `mul`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Div` should have a snake case name
[INFO] [stdout]    --> src/main.rs:555:5
[INFO] [stdout]     |
[INFO] [stdout] 555 |     fn Div(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `div`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Lt` should have a snake case name
[INFO] [stdout]    --> src/main.rs:562:5
[INFO] [stdout]     |
[INFO] [stdout] 562 |     fn Lt(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^ help: convert the identifier to snake case: `lt`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `And` should have a snake case name
[INFO] [stdout]    --> src/main.rs:570:5
[INFO] [stdout]     |
[INFO] [stdout] 570 |     fn And(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `and`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Or` should have a snake case name
[INFO] [stdout]    --> src/main.rs:577:5
[INFO] [stdout]     |
[INFO] [stdout] 577 |     fn Or(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^ help: convert the identifier to snake case (notice the capitalization): `or`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `Equ` should have a snake case name
[INFO] [stdout]    --> src/main.rs:584:5
[INFO] [stdout]     |
[INFO] [stdout] 584 |     fn Equ(a1: TypedTerm, a2: TypedTerm,) -> TypedTerm {
[INFO] [stdout]     |        ^^^ help: convert the identifier to snake case: `equ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 39 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.31s
[INFO] running `Command { std: "docker" "inspect" "b734eb9014119c58af454bb58d88f0f2527c4fa5ca66ac4fa9fac0c44cf3b63b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b734eb9014119c58af454bb58d88f0f2527c4fa5ca66ac4fa9fac0c44cf3b63b", kill_on_drop: false }`
[INFO] [stdout] b734eb9014119c58af454bb58d88f0f2527c4fa5ca66ac4fa9fac0c44cf3b63b