test/c/mapping.sail


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

default Order dec

$include <flow.sail>
$include <arith.sail>

val m : unit <-> int(1)

mapping m = {
  () <-> 1
}

val main : unit -> unit

function main() = {
  print_int("m() = ", m());
  m(1)
}