Common.Nodes.put: def of bend-lint-pack@0.1.1.0 Import: import bend-lint-pack@0.1.1.0/common.bend as Common Lines 316-324 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=316&end_line=324 import Base # The program's own code # ====================== # The defs of the program: owners with a checked body that are not laws, proofs or package code. def Nodes.put(hit: Bool, owner: String, out: Set()) -> Set(): match hit: case True{}: Set.add(out, owner) case False{}: out Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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