Transcong.commas: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/transcong.bend as Transcong
Lines 83-89 of bolt@1.27.0.0/src/rules/style/transcong.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/transcong.bend&start_line=83&end_line=89

import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

# the comma leaves among a chain's own nodes
def commas(nn: Tree.Node) -> Nat:
  match nn:
    case Tree.NCons{h, rest}:
      Nat.add(Bool.pick(Nat, comma(h), 1n, 0n), commas(rest))
    case _other:
      0n

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/transcong.bend&name=comma
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/tree.bend&name=Node