Module nekolib::traits::max

最大元に関するトレイトです。

Traits

• Max
  最大元を持つ。