Path	Lines of Code
amzn-smt-ir/src/ackerman.rs	259
amzn-smt-ir/src/cnf.rs	619
amzn-smt-ir/src/eliminate.rs	118
amzn-smt-ir/src/fold.rs	437
amzn-smt-ir/src/fold/compose.rs	103
amzn-smt-ir/src/fold/inter.rs	217
amzn-smt-ir/src/fold/intra.rs	220
amzn-smt-ir/src/lib.rs	71
amzn-smt-ir/src/logic.rs	185
amzn-smt-ir/src/logic/all.rs	28
amzn-smt-ir/src/logic/arith.rs	99
amzn-smt-ir/src/logic/arrays.rs	26
amzn-smt-ir/src/logic/bitvecs.rs	136
amzn-smt-ir/src/logic/strings.rs	93
amzn-smt-ir/src/model.rs	114
amzn-smt-ir/src/script.rs	23
amzn-smt-ir/src/term.rs	448
amzn-smt-ir/src/term/args.rs	246
amzn-smt-ir/src/term/binder.rs	78
amzn-smt-ir/src/term/convert.rs	596
amzn-smt-ir/src/term/fmt.rs	47
amzn-smt-ir/src/term/operation.rs	14
amzn-smt-ir/src/term/quantifier.rs	18
amzn-smt-ir/src/term/sort_checking.rs	95
amzn-smt-ir/src/term/substitute.rs	60
amzn-smt-ir/src/term/uf.rs	14
amzn-smt-ir/src/types.rs	488
amzn-smt-ir/src/visit.rs	316
amzn-smt-ir/src/visit/control_flow.rs	38