~/jendhub

def push_name.again

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

import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import Base

122# is the name at the head of the list?
123def push_name.again(acc: List<&2, String>, +name: String) -> Bool:
124  match acc:
125    case Nil{}:
126      False{}
127    case Con{hh, _rest}:
128      String.eq(hh, name)

Uses (4)

Used by (1)