pub trait StaticCommutative { }
Marker trait for commutative functions.
Boolean systems implementing this trait are invariant under permutations of the inputs.