| changeset 21951 | 56abe5f3c612 |
| parent 21904 | 59fcfa2a77ea |
| child 22004 | a69d21fc6d68 |
| 21950:e97fd6480091 | 21951:56abe5f3c612 |
|---|---|
81 subsection {* Generic code generator setup *} |
81 subsection {* Generic code generator setup *} |
82 |
82 |
83 text {* operational equality for code generation *} |
83 text {* operational equality for code generation *} |
84 |
84 |
85 axclass eq \<subseteq> type |
85 axclass eq \<subseteq> type |
86 attach "op =" |
86 (attach "op =") |
87 |
87 |
88 |
88 |
89 text {* equality for Haskell *} |
89 text {* equality for Haskell *} |
90 |
90 |
91 code_class eq |
91 code_class eq |