Function lattices::algebra::left_distributes

source ยท 
pub fn left_distributes<S: Debug + PartialEq + Clone, const N: usize>(
    items: &[S; N],
    f: impl Fn(S, S) -> S,
    g: impl Fn(S, S) -> S,
) -> Result<(), &'static str>
Expand description

Defines the left distributive property

a(b+c) = ab + ac