Common.Bodies.put: def of bend-lint-pack@0.1.1.0 Import: import bend-lint-pack@0.1.1.0/common.bend as Common Lines 264-272 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=264&end_line=272 import Base import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint # Owners that have a checked body # =============================== # Defs and laws have one; types and constructors do not. def Bodies.put(b: Maybe<&2, Lint.Node>, owner: String, out: Set()) -> Set(): match b: case Some{n}: Set.add(out, owner) case None{}: out Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set.add https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/vendor/lint.bend&name=Node