~/jendhub

def origin.at

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

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

309# this origin's source when the hash matches, otherwise whatever the rest gave
310def origin.at(known: Origin, rest: Src, wanted: String) -> Src:
311  Origin{n, s} = known
312  Bool.pick(Src, String.eq(n, wanted), s, rest)

Uses (5)

Used by (1)