default Order dec

$include <arith.sail>
$include <vector_dec.sail>

type r1 = range(0, ((2 ^ 32) - 1))

function foo (x : bits(32)) -> r1 = {
    unsigned(x)
}

$property
function prop (x : bits(32)) -> bool = {
    foo(x) == 0
}

Type error:
test.sail:8.13-33:
8 |function foo (x : bits(32)) -> r1 = {
  |             ^------------------^
  | . range(0, (2 ^ 32 - 1)) and . r1 do not match between function and val spec