pub trait Loop<O: Op>: LoopApprox<O> + Quasigroup<O> { }Expand description
A quasigroup with an unique identity element.
The left inverse r and right inverse l are not required to be equal.
The following property is added to the quasigroup structure:
∃ e ∈ Self, ∀ a ∈ Self, ∃ r, l ∈ Self such that l ∘ a = a ∘ r = eDyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.