Visgraph.count_halves: def of bend-visgraph@2.0.0.0
Import: import bend-visgraph@2.0.0.0/visgraph.bend as Visgraph
Lines 901-908 of bend-visgraph@2.0.0.0/visgraph.bend: https://jend.leeeet.dev/read.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&start_line=901&end_line=908

import Base

def count_halves(es: Edges, +both: Bool, c: Counts) -> Counts:
  match es:
    case ENil{}:
      c
    case ECon{+s, +t, w, next}:
      count_halves(next, both, count_half(both, t, s, count_half(True{}, s, t, c)))
    case EJoin{a, b}:
      count_halves(b, both, count_halves(a, both, c))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Counts
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=Edges
  https://jend.leeeet.dev/definition.txt?path=bend-visgraph@2.0.0.0/visgraph.bend&name=count_half