Vector of ones

Stream: Is there code for X?

[Ashley Blacquiere]

Is there any notion of a vector of ones, like docs#bitvec.one, but all ones?

[Matt Diamond]

Do you mean as a distinct type? You can do vector.repeat bool.tt n if you just want to generate a bitvec of n ones

[Adam Topaz]

import data.bitvec.basic
#eval (bitvec.zero 10).not

Or what Matt said ;)