def vac

bend-collections-laws-crypto@1.0.0.0 · src/containers/hash_table.bend:387

import Base

387# A value array of 2^d vacant cells (Array.new needs Data values).
388def vac(a, -V: Kind(a), d: Nat) -> Array<Maybe<a, V>>:
389  match d:
390    case 0n:
391      ALeaf{None{}}
392    case 1n+ +p:
393      ANode{vac(a, V, p), vac(a, V, p)}