Source file `cp__Var0.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
type ti = int

type tb = int

let dummy_ti : ti = 0

let dummy_tb : tb = 0

let tag_ti (x: ti) : int = x

let tag_tb (x: tb) : int = x

let equali (x: ti) (y: ti) : bool = x = y

let equalb (x: tb) (y: tb) : bool = x = y

type vars = unit