Law.ctor_nodes: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/laws/law.bend as Law
Lines 72-78 of bolt@1.27.0.0/src/rules/laws/law.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/laws/law.bend&start_line=72&end_line=78

import Base
import bolt@1.27.0.0/src/rules/imports.bend as Imports

# a type's constructors, each a node that leads nowhere, onto the others
def ctor_nodes(cs: List<&2, String>, +pp: String, more: List<&2, Imports.Edge>) -> List<&2, Imports.Edge>:
  match cs:
    case Nil{}:
      more
    case Con{c, rest}:
      Imports.Edge{key(pp, c), []} <> ctor_nodes(rest, pp, more)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/imports.bend&name=Edge
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/laws/law.bend&name=key