test/mono/assert.sail


1
2
3
4
5
6
7
8

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

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