~/jendhub

def only

bolt@1.27.0.0 · src/rules/suspicious/thunk.bend:143

import bolt@1.27.0.0/src/rules/suspicious/thunk.bend as Thunk
import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

143# is a group with this open and these kids a call given exactly one lambda?
144def only(+oo: String, +kids: Tree.Node) -> Bool:
145  Bool.and(String.eq(oo, "("), Nat.is_eq(lams(kids, False{}), 1n))

Uses (7)

Used by (1)