1 2 3 4 5 6 7 8 9
// Definitions as adjoined operations pub mod definition; pub mod ssa; pub mod tree; pub mod theory; pub mod check; pub mod dual;