~/jendhub

def both

bolt@1.27.0.0 · src/rules/correctness/pick.bend:37

import bolt@1.27.0.0/src/rules/correctness/pick.bend as Pick
import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/rules/calls.bend as Calls

37# do both branches (the third and fourth arguments) call the def?
38def both(+as: List<&2, Tree.Node>, +name: String) -> Bool:
39  Bool.and(Calls.calls(Calls.arg(as, 2n), name), Calls.calls(Calls.arg(as, 3n), name))

Uses (7)

Used by (1)