path: root/cheri/sail_latexcc/sailccfncastunitvec.tex

function cast_unit_vec b = match b {
  bitzero => 0b0,
  _ => 0b1
}