def vac

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

import Base

48# An entry array of `depth` vacant cells (Array.new needs Data values).
49def vac(a, -V: Kind(a), d: Nat) -> Array<Maybe<a, V>>:
50  match d:
51    case 0n:
52      ALeaf{None{}}
53    case 1n+ +p:
54      ANode{vac(a, V, p), vac(a, V, p)}