blob: 3fac2de81c86a0dcec3aca9a9fad3c365f5df0c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
default Order dec
val "print" : string -> unit
val "print_int" : (string, int) -> unit
union option ('a : Type) = {
Some : 'a,
None : unit
}
function main() : unit -> unit = {
let r = (3, 2);
let o = Some(r);
match o {
Some(x, y) => print_int("x = ", x),
None() => ()
};
print("ok\n");
}
|
