Std.Num.Zero

trait

This declaration names behavior that types can implement.

What it does

A type with an additive identity.

Separate from Add because summing an empty collection needs the identity

and nothing else, and a type can have one without the other.

Read the signature

• This declaration has no value signature because it introduces a type or trait.