def Nodes.put
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
316# The program's own code
317# ======================
318# The defs of the program: owners with a checked body that are not laws, proofs or package code.
319def Nodes.put(hit: Bool, owner: String, out: Set()) -> Set():
320 match hit:
321 case True{}:
322 Set.add(out, owner)
323 case False{}:
324 out