test/coq/pass/castunitvec.sail


1
2
3
4
5
6
7
8
9
10

default Order dec
$include <prelude.sail>

val cast cast_unit_vec : bit -> bits(1)

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