1 2 3 4 5 6
use super::HeytingAlgebra; pub trait BooleanAlgebra: HeytingAlgebra {} impl BooleanAlgebra for bool {} impl BooleanAlgebra for () {}