Module cp_library_rs::algebraic_structure::monoid

モノイド

• Monoid::Val ： データの型 $S$
• Monoid::id ： 単位元を返す関数 $\varnothing \to S$
• Monoid::op ： 演算 $S\times S \to S$

Traits

• Monoid
  モノイド