HashTable.vac: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend as HashTable
Lines 387-393 of bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/containers/hash_table.bend&start_line=387&end_line=393

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat