// Specific theories to use in tests.
pub mod theory;
pub mod finite_function;
pub mod indexed_coproduct;
pub mod semifinite;
pub mod test_array;
pub mod operations;
pub mod functor;
pub mod hypergraph;
pub mod open_hypergraph;
pub mod eval;
pub mod lax;
pub mod layer;