def zero_metrics

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/types/model.bend:20

import Base

20def zero_metrics() -> Metrics:
21  Counts{Word.zero(64n), Word.zero(64n), Word.zero(64n), Word.zero(64n), Word.zero(64n)}