|
1 | 1 | Class |
2 | 2 |
|
3 | | - Module `` Class`` |
| 3 | + Module `` Class `` |
4 | 4 | <a id="class-type-empty"></a> |
5 | 5 | ###### class type empty = object |
6 | | -end |
| 6 | + |
| 7 | + ###### end |
7 | 8 |
|
8 | 9 |
|
9 | 10 |
|
10 | 11 | <a id="class-type-mutually"></a> |
11 | 12 | ###### class type mutually = object |
12 | | -end |
| 13 | + |
| 14 | + ###### end |
13 | 15 |
|
14 | 16 |
|
15 | 17 |
|
16 | 18 | <a id="class-type-recursive"></a> |
17 | 19 | ###### class type recursive = object |
18 | | -end |
| 20 | + |
| 21 | + ###### end |
19 | 22 |
|
20 | 23 |
|
21 | 24 |
|
|
31 | 34 |
|
32 | 35 | <a id="class-type-empty_virtual"></a> |
33 | 36 | ###### class type virtual empty_virtual = object |
34 | | -end |
| 37 | + |
| 38 | + ###### end |
35 | 39 |
|
36 | 40 |
|
37 | 41 |
|
|
42 | 46 |
|
43 | 47 | <a id="class-type-polymorphic"></a> |
44 | 48 | ###### class type 'a polymorphic = object |
45 | | -end |
| 49 | + |
| 50 | + ###### end |
46 | 51 |
|
47 | 52 |
|
48 | 53 |
|
|
52 | 57 |
|
53 | 58 | Classempty |
54 | 59 |
|
55 | | - Class type `` Class.empty`` |
| 60 | + Class type `` Class.empty `` |
56 | 61 |
|
57 | 62 | Classmutually |
58 | 63 |
|
59 | | - Class type `` Class.mutually`` |
| 64 | + Class type `` Class.mutually `` |
60 | 65 |
|
61 | 66 | Classrecursive |
62 | 67 |
|
63 | | - Class type `` Class.recursive`` |
| 68 | + Class type `` Class.recursive `` |
64 | 69 |
|
65 | 70 | Classmutually' |
66 | 71 |
|
67 | | - Class `` Class.mutually'`` |
| 72 | + Class `` Class.mutually' `` |
68 | 73 |
|
69 | 74 | Classrecursive' |
70 | 75 |
|
71 | | - Class `` Class.recursive'`` |
| 76 | + Class `` Class.recursive' `` |
72 | 77 |
|
73 | 78 | Classempty_virtual |
74 | 79 |
|
75 | | - Class type `` Class.empty_virtual`` |
| 80 | + Class type `` Class.empty_virtual `` |
76 | 81 |
|
77 | 82 | Classempty_virtual' |
78 | 83 |
|
79 | | - Class `` Class.empty_virtual'`` |
| 84 | + Class `` Class.empty_virtual' `` |
80 | 85 |
|
81 | 86 | Classpolymorphic |
82 | 87 |
|
83 | | - Class type `` Class.polymorphic`` |
| 88 | + Class type `` Class.polymorphic `` |
84 | 89 |
|
85 | 90 | Classpolymorphic' |
86 | 91 |
|
87 | | - Class `` Class.polymorphic'`` |
| 92 | + Class `` Class.polymorphic' `` |
0 commit comments