| changeset 23850 | f1434532a562 |
| parent 22798 | e3962371f568 |
| child 24421 | acfb2413faa3 |
| 23849:2a0e24c74593 | 23850:f1434532a562 |
|---|---|
1 module ROOT = |
|
2 struct |
|
3 |
|
4 module Nat = |
1 module Nat = |
5 struct |
2 struct |
6 |
3 |
7 type nat = Zero_nat | Suc of nat;; |
4 type nat = Zero_nat | Suc of nat;; |
8 |
5 |
23 |
20 |
24 let rec dummy |
21 let rec dummy |
25 = head (null_optiona ()) [Some (Nat.Suc Nat.Zero_nat); None];; |
22 = head (null_optiona ()) [Some (Nat.Suc Nat.Zero_nat); None];; |
26 |
23 |
27 end;; (*struct Codegen*) |
24 end;; (*struct Codegen*) |
28 |
|
29 end;; (*struct ROOT*) |