test/ocaml/void/void.sail


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

val void : forall 'n, 'n == 'n + 1. atom('n) -> unit

function void _ = ()

val main : unit -> unit

function main () = {
  print("Before");
  if false then {
    print("After");
    void(0);
  }
}