use crate::binary_operation_id::BinaryOperationId; pub trait CommutativeProperty<Id: BinaryOperationId> {}