-
Notifications
You must be signed in to change notification settings - Fork 0
/
reducetest.maude
19 lines (8 loc) · 2.09 KB
/
reducetest.maude
1
2
3
4
5
6
7
8
9
10
mod redmod is
protecting REDUX .
ops T0 T1 T2 T3 T4 T5 T6 T7 T8 T9 T10 T11 T12 T13 T14 T15 T16 T17 T18 T19 T20 T21 T22 T23 T24 T25 T26 T27 T28 T29 T30 T31 T32 T33 T34 T35 T36 T37 T38 T39 T40 T41 T42 T43 T44 T45 T46 T47 T48 T49 T50 T51 T52 T53 T54 T55 T56 T57 T58 T59 T60 T61 T62 T63 T64 T65 T66 T67 T68 T69 T70 T71 T72 T73 T74 T75 T76 T77 T78 T79 T80 T81 T82 T83 T84 T85 T86 T87 T88 T89 T90 T91 T92 T93 T94 T95 T96 T97 T98 T99 T100 T101 T102 T103 T104 T105 T106 T107 T108 T109 T110 T111 T112 T113 T114 T115 T116 T117 T118 T119 T120 T121 T122 T123 T124 T125 T126 T127 T128 T129 T130 T131 T132 T133 T134 T135 T136 T137 T138 T139 T140 T141 T142 T143 T144 T145 T146 T147 T148 T149 T150 T151 T152 T153 T154 T155 T156 T157 T158 T159 T160 T161 T162 T163 T164 T165 T166 T167 T168 T169 T170 T171 T172 T173 T174 T175 T176 T177 T178 T179 T180 T181 T182 T183 T184 T185 T186 T187 T188 T189 T190 T191 T192 T193 T194 T195 T196 T197 T198 T199 : -> VarType .
ops T?0 T?1 T?2 T?3 T?4 T?5 T?6 T?7 T?8 T?9 T?10 T?11 T?12 T?13 T?14 T?15 T?16 T?17 T?18 T?19 T?20 T?21 T?22 T?23 T?24 T?25 T?26 T?27 T?28 T?29 T?30 T?31 T?32 T?33 T?34 T?35 T?36 T?37 T?38 T?39 T?40 T?41 T?42 T?43 T?44 T?45 T?46 T?47 T?48 T?49 T?50 T?51 T?52 T?53 T?54 T?55 T?56 T?57 T?58 T?59 T?60 T?61 T?62 T?63 T?64 T?65 T?66 T?67 T?68 T?69 T?70 T?71 T?72 T?73 T?74 T?75 T?76 T?77 T?78 T?79 T?80 T?81 T?82 T?83 T?84 T?85 T?86 T?87 T?88 T?89 T?90 T?91 T?92 T?93 T?94 T?95 T?96 T?97 T?98 T?99 T?100 T?101 T?102 T?103 T?104 T?105 T?106 T?107 T?108 T?109 T?110 T?111 T?112 T?113 T?114 T?115 T?116 T?117 T?118 T?119 T?120 T?121 T?122 T?123 T?124 T?125 T?126 T?127 T?128 T?129 T?130 T?131 T?132 T?133 T?134 T?135 T?136 T?137 T?138 T?139 T?140 T?141 T?142 T?143 T?144 T?145 T?146 T?147 T?148 T?149 T?150 T?151 T?152 T?153 T?154 T?155 T?156 T?157 T?158 T?159 T?160 T?161 T?162 T?163 T?164 T?165 T?166 T?167 T?168 T?169 T?170 T?171 T?172 T?173 T?174 T?175 T?176 T?177 T?178 T?179 T?180 T?181 T?182 T?183 T?184 T?185 T?186 T?187 T?188 T?189 T?190 T?191 T?192 T?193 T?194 T?195 T?196 T?197 T?198 T?199 : -> BoundVarType .
op s : -> state .
eq s =
"a" : T?0 /\ "b" : T?2 .
endm