Revision a38c681e src/types.ml
src/types.ml | ||
---|---|---|
239 | 239 |
| Ttuple _ -> true |
240 | 240 |
| _ -> false |
241 | 241 |
|
242 |
let rec is_nested_tuple_type ty = |
|
243 |
match (repr ty).tdesc with |
|
244 |
| Ttuple tl -> List.exists is_tuple_type tl |
|
245 |
| _ -> false |
|
246 |
|
|
247 | 242 |
let map_tuple_type f ty = |
248 | 243 |
let ty = dynamic_type ty in |
249 | 244 |
match ty.tdesc with |
Also available in: Unified diff