bvec_to_string

open fun bvec_to_string(bitvector: BoolVector): String