def cong

bolt@1.27.0.0 · src/rules/style/transcong.bend:75

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

75# does the chain open an argument that is exactly an `Equal.cong` call?
76def cong(nn: Tree.Node) -> Bool:
77  match nn:
78    case Tree.NCons{h, t}:
79      Bool.and(named(h, "Equal.cong"), cong.call(t))
80    case _other:
81      False{}