def checked_after

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

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

297def checked_after(+env: Env, +es: List<&2, G.Ent>, +us: List<&2, T.Usage>, +now: Nat) -> Bool:
298  env_checked(env) || List.is_empty(&2, String, lower_names(Cfg.cfg_models(env_cfg(env)))) || all_readable(es, us, now, Cfg.cfg_models(env_cfg(env)))