def is3

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

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

187# whether a table's path is these three segments
188def is3(+ss: List<&2, String>, first: String, second: String, third: String) -> Bool:
189  Bool.and(Nat.is_eq(List.length(&2, String, ss), 3n),
190    Bool.and(String.eq(K.word(ss, 0n), first),
191      Bool.and(String.eq(K.word(ss, 1n), second), String.eq(K.word(ss, 2n), third))))