def named1

ezx@1.11.0.0 · src/lock/lock.bend:193

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

193# whether a table's path is one segment, this one
194def named1(+ss: List<&2, String>, first: String) -> Bool:
195  Bool.and(Nat.is_eq(List.length(&2, String, ss), 1n), String.eq(K.word(ss, 0n), first))