~/jendhub

def shape

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

import bolt@1.27.0.0/src/rules/style/transcong.bend as Transcong
import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

107# are a call's kids six arguments, the fifth or the sixth an `Equal.cong`?
108def shape(+kids: Tree.Node) -> Bool:
109  Bool.and(Nat.is_eq(commas(kids), 5n), fed(kids, 0n, True{}, False{}))

Uses (6)

Used by (1)