equal
deleted
inserted
replaced
18 |
18 |
19 signature ORIGINAL_MODEL = |
19 signature ORIGINAL_MODEL = |
20 sig |
20 sig |
21 type T |
21 type T |
22 type single |
22 type single |
|
23 type variant |
23 type variants |
24 type variants |
24 type m_field |
25 type m_field |
25 type descriptor |
26 type descriptor |
26 type values |
27 type values |
27 type message |
28 type message |
82 struct |
83 struct |
83 (**) |
84 (**) |
84 |
85 |
85 (** types **) |
86 (** types **) |
86 |
87 |
|
88 type variant = Model_Def.variant; |
87 type variants = Model_Def.variants; |
89 type variants = Model_Def.variants; |
88 type m_field = Model_Def.m_field; |
90 type m_field = Model_Def.m_field; |
89 type descriptor = Model_Def.descriptor; |
91 type descriptor = Model_Def.descriptor; |
90 type values = Model_Def.values; |
92 type values = Model_Def.values; |
91 type message = string; |
93 type message = string; |