def cong.call

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

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

67# past the `Equal.cong` leaf: a `(` group, then the argument's end
68def cong.call(nn: Tree.Node) -> Bool:
69  match nn:
70    case Tree.NCons{g, after}:
71      Bool.and(paren(g), ends(after))
72    case _other:
73      False{}