Bit_Array module

deinit

procedureSource

Frees the words and leaves the array empty (count is zero). It can be set up again with init_bit_array.

Example↗
bits := make_bit_array(8);
deinit(*bits);
assert(bits.count == 0);
deinit :: (array: *Bit_Array)

Parameters

array: *Bit_Array

See also