def all_readable

cswap-bend-cli@0.1.0.0 · daemon/tick.bend:274

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/daemon/gather.bend as G

274# Every account the guard looks at (switchable, not quarantined, not an API
275# key) has a trusted reading.
276def all_readable(+es: List<&2, G.Ent>, +us: List<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> Bool:
277  match es:
278    case Nil{}:
279      True{}
280    case Con{e, t}:
281      Bool.not(watched(e)) || (readable(e, us, now, ms) && all_readable(t, us, now, ms))