Revision 8f1c7e91 src/types.ml
src/types.ml | ||
---|---|---|
176 | 176 |
| Tstatic (d, _) -> Some d |
177 | 177 |
| _ -> None |
178 | 178 |
|
179 |
let is_clock_type ty = |
|
180 |
match (repr ty).tdesc with |
|
181 |
| Tclock _ -> true |
|
182 |
| _ -> false |
|
183 |
|
|
179 | 184 |
let rec is_dimension_type ty = |
180 | 185 |
match (repr ty).tdesc with |
181 | 186 |
| Tint |
Also available in: Unified diff