def kx_if

bend-collections@1.0.0.0 · src/containers/lru.bend:802

import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W

802def kx_if(a, -V: Kind(a), f: LRU<a, V>, +now: W.U64, empty: Bool) -> Kx<a, V>:
803  match empty:
804    case True{}:
805      KDone{f}
806    case False{}:
807      kx_head(a, V, f, now)