def plan.lam

bolt@1.27.0.0 · src/syntax/bind.bend:371

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

371# does the chain start with a leaf of this kind?
372def plan.lam(rest: Tree.Node) -> Bool:
373  match rest:
374    case Tree.NCons{Tree.Leaf{Lex.Tok{Lex.TLam{}, _t, _l, _c}}, _r}:
375      True{}
376    case _other:
377      False{}