equal
deleted
inserted
replaced
12 struct |
12 struct |
13 |
13 |
14 type 'a null = {null : 'a};; |
14 type 'a null = {null : 'a};; |
15 let null _A = _A.null;; |
15 let null _A = _A.null;; |
16 |
16 |
17 let rec head _A = function y :: xs -> y |
17 let rec head _A = function x :: xs -> x |
18 | [] -> null _A;; |
18 | [] -> null _A;; |
19 |
19 |
20 let rec null_option = None;; |
20 let rec null_option = None;; |
21 |
21 |
22 let null_optiona () = ({null = null_option} : ('b option) null);; |
22 let null_optiona () = ({null = null_option} : ('b option) null);; |