Trait wfst::semiring::RightSemiring [] [src]

pub trait RightSemiring { }

∀ a,b,c: (a ⊕ b) ⊗ c = (a ⊗ c) ⊕ (b ⊗ c)

Implementors