blob: 6c04d9dca7315db81c54b8517362931361cb5f28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
val "eq_anything" : forall ('a : Type). ('a, 'a) -> bool
val eq_atom = {ocaml: "eq_int", lem: "eq", c: "eq_int"} : forall 'n 'm. (atom('n), atom('m)) -> bool
overload operator == = {eq_atom, eq_anything}
val print = "print_endline" : string -> unit
enum test = A | B
function main (() : unit) -> unit = {
let x = A;
match x {
B => print("B"),
A => print("A")
}
}
|
