def Prog.with
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
350def Prog.with(
351 +laws: Set(),
352 +seen: List<&2, Seen>,
353 edges: Map<&2, List<&2, String>>,
354 into: Map<&2, List<&2, String>>,
355 bodies: Set()
356) -> Prog:
357 Prog{seen, edges, into, Nodes.of(seen, bodies, laws, Set.new()), laws}