test/mono/assert2.sail


1
2
3
4
5
6
7
8
9

val f : forall 'n. atom('n) -> unit effect {escape}

function f(n) = {
    let 'm = 2 * n in {
      assert(constraint('n in {8,16}));
      let x : bits('m) = replicate_bits(0b0,'m) in
      ()
    }
}