def Bodies.put
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
264# Owners that have a checked body
265# ===============================
266# Defs and laws have one; types and constructors do not.
267def Bodies.put(b: Maybe<&2, Lint.Node>, owner: String, out: Set()) -> Set():
268 match b:
269 case Some{n}:
270 Set.add(out, owner)
271 case None{}:
272 out