test/c/undefined_nat.sail


1
2
3
4
5
6
7
8
9
10
11
12
13

default Order dec

$include <prelude.sail>

val "print_endline" : string -> unit

register R : nat

register T : int

function main() -> unit = {
  print_endline("ok");
}