def search.empty

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

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

193# is the chain empty?
194def search.empty(nn: Tree.Node) -> Bool:
195  match nn:
196    case Tree.NNil{}:
197      True{}
198    case _other:
199      False{}