~/jendhub

def typed

bolt@1.27.0.0 · src/rules/calls.bend:285

import bolt@1.27.0.0/src/rules/calls.bend as Calls
import Base
import bolt@1.27.0.0/src/syntax/tree.bend as Tree
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

285# does the signature write a type: a `:` among its parameters, or a `->`?
286def typed(+sig: Tree.Node) -> Bool:
287  Lazy.or_else(has_colon(params.of(sig)), _u => has_arrow(sig))

Uses (6)

Used by (1)