73 |
| NegField |
| NegField |
74 |
| DiffField |
| DiffField |
75 |
| Probe |
| Probe |
|
| Transform of ImageInfo.info |
|
76 |
| Input of string |
| Input of string |
77 |
| InputWithDefault of string |
| InputWithDefault of string |
78 |
|
|
116 |
| arity NegField = 1 |
| arity NegField = 1 |
117 |
| arity DiffField = 1 |
| arity DiffField = 1 |
118 |
| arity Probe = 2 |
| arity Probe = 2 |
|
| arity (Transform _) = 1 |
|
119 |
| arity (Input _) = 0 |
| arity (Input _) = 0 |
120 |
| arity (InputWithDefault _) = 1 |
| arity (InputWithDefault _) = 1 |
121 |
|
|
159 |
| same (NegField, NegField) = true |
| same (NegField, NegField) = true |
160 |
| same (DiffField, DiffField) = true |
| same (DiffField, DiffField) = true |
161 |
| same (Probe, Probe) = true |
| same (Probe, Probe) = true |
|
| same (Transform(a0), Transform(b0)) = ImageInfo.same(a0, b0) |
|
162 |
| same (Input(a0), Input(b0)) = samestring(a0, b0) |
| same (Input(a0), Input(b0)) = samestring(a0, b0) |
163 |
| same (InputWithDefault(a0), InputWithDefault(b0)) = samestring(a0, b0) |
| same (InputWithDefault(a0), InputWithDefault(b0)) = samestring(a0, b0) |
164 |
| same _ = false |
| same _ = false |
203 |
| hash NegField = 0w167 |
| hash NegField = 0w167 |
204 |
| hash DiffField = 0w173 |
| hash DiffField = 0w173 |
205 |
| hash Probe = 0w179 |
| hash Probe = 0w179 |
206 |
| hash (Transform(a0)) = 0w181 + ImageInfo.hash a0 |
| hash (Input(a0)) = 0w181 + hashstring a0 |
207 |
| hash (Input(a0)) = 0w191 + hashstring a0 |
| hash (InputWithDefault(a0)) = 0w191 + hashstring a0 |
|
| hash (InputWithDefault(a0)) = 0w193 + hashstring a0 |
|
208 |
|
|
209 |
fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"] |
fun toString (Add(a0)) = concat["Add<", tyToString a0, ">"] |
210 |
| toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"] |
| toString (Sub(a0)) = concat["Sub<", tyToString a0, ">"] |
246 |
| toString NegField = "NegField" |
| toString NegField = "NegField" |
247 |
| toString DiffField = "DiffField" |
| toString DiffField = "DiffField" |
248 |
| toString Probe = "Probe" |
| toString Probe = "Probe" |
|
| toString (Transform(a0)) = concat["Transform<", ImageInfo.toString a0, ">"] |
|
249 |
| toString (Input(a0)) = concat["Input<", stringToString a0, ">"] |
| toString (Input(a0)) = concat["Input<", stringToString a0, ">"] |
250 |
| toString (InputWithDefault(a0)) = concat["InputWithDefault<", stringToString a0, ">"] |
| toString (InputWithDefault(a0)) = concat["InputWithDefault<", stringToString a0, ">"] |
251 |
|
|