def Map.size

Base · base.bend:3053

import Base

3053def Map.size(a, -V: Kind(a), m: Map<a, V>) -> Nat:
3054  match m:
3055    case MTip{}:
3056      0n
3057    case MLeaf{k, v}:
3058      1n
3059    case MNode{pos, lo, hi}:
3060      Nat.add(Map.size(a, V, lo), Map.size(a, V, hi))

Uses (3)

Used by (13)