path: root/cheri/sail_latexcc/sailccfnbittobool.tex

function bit_to_bool b = match b {
  bitone => true,
  _ => false
}