Function word_var 

pub fn word_var(name: &str, width: u32) -> Word

A named input word: the bits name#0 .. name#(width-1), the same signal spelling blast_word gives a BitVecVar — so a circuit built here and one blasted from a BoundedExpr share a variable namespace and can be mitered against each other.