pub fn identity<S: Debug + PartialEq + Clone, const N: usize>(
items: &[S; N],
f: impl Fn(S, S) -> S,
e: S,
) -> Result<(), &'static str>Expand description
Defines the identity property.
An element e is the identity of f if ae = a and ea = a for all a.