def Set.size

Base · base.bend:3092

import Base

3092def Set.size(s: Set()) -> Nat:
3093  Map.size(&2, Unit, s)

Uses (4)

Nat
Unit
Set
Map.size

Used by (2)

bend-lint-api@0.2.0.0/linter/lint:Program.callers.go
near-v-framework@0.4.0.0/general/compound/ops:distinct