~/jendhub

def line.put

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

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

327# one `<sha256> <path>` line of a manifest
328def line.put(+ws: List<&2, String>) -> List<&2, K.Item>:
329  Bool.pick(List<&2, K.Item>, Nat.is_eq(List.length(&2, String, ws), 2n),
330    [K.Item{K.word(ws, 1n), K.word(ws, 0n)}], [])

Uses (7)

Used by (1)