Rewalk.add_seen: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
Lines 578-584 of bolt@1.27.0.0/src/rules/pedantic/rewalk.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/pedantic/rewalk.bend&start_line=578&end_line=584

import Base

# a second name on the left
def add_seen(+seen: Bool, +extra: Bool, +field: Bool, +nm: String, +tt: String) -> Lhs:
  match seen:
    case False{}:
      Lhs{True{}, extra, field, tt}
    case True{}:
      Lhs{True{}, True{}, field, nm}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/pedantic/rewalk.bend&name=Lhs