Store.Store.size: def of bend-kube-runtime@0.2.0.0 Import: import bend-kube-runtime@0.2.0.0/src/store.bend as Store Lines 58-61 of bend-kube-runtime@0.2.0.0/src/store.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/store.bend&start_line=58&end_line=61 import Base import bend-kube-runtime@0.2.0.0/src/json.bend as J def Store.size(s: Store) -> Nat: match s: case Store{o, b, r}: Map.size(&2, J.Json, o) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.size https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/store.bend&name=Store