def add_seen

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:578

import Base

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