summaryrefslogtreecommitdiff
path: root/src/main.ml
blob: 2248506a586c79fa8e1584371e7ab4f16d0ee9c0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
open Identifiers

module Id0 = IdGen ()

module Id1 = IdGen ()

let x0 = Id0.zero

let x1 = Id0.incr x0

let () =
  let _ = print_endline "Hello, world!" in
  let _ = print_endline (Id0.to_string x1) in
  ()