~/jendhub

def named3

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

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

197# whether a table's path is three segments, headed and tailed by these, whatever
198# the hash between them is
199def named3(+ss: List<&2, String>, first: String, third: String) -> Bool:
200  Bool.and(Nat.is_eq(List.length(&2, String, ss), 3n),
201    Bool.and(String.eq(K.word(ss, 0n), first), String.eq(K.word(ss, 2n), third)))

Uses (8)

Used by (1)