1 2 3 4
//! Commonly used lambda calculus [Term](crate::Term)s. pub mod boolean; pub mod combinators;