| 490 |
with Not_found -> |
with Not_found -> |
| 491 |
DescrHash.add marks d (ref None); |
DescrHash.add marks d (ref None); |
| 492 |
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.times; |
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.times; |
| 493 |
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.xml; |
bool_iter |
| 494 |
|
(fun (n1,n2) -> |
| 495 |
|
List.iter |
| 496 |
|
(fun (d1,d2) -> |
| 497 |
|
mark_descr d2; |
| 498 |
|
let l = get_record d1.record in |
| 499 |
|
List.iter (List.iter (fun (l,(o,d)) -> mark_descr d)) l |
| 500 |
|
) |
| 501 |
|
(Product.normal (descr n2)) |
| 502 |
|
) d.xml; |
| 503 |
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.arrow; |
bool_iter (fun (n1,n2) -> mark n1; mark n2) d.arrow; |
| 504 |
bool_iter (fun (l,o,n) -> mark n) d.record |
bool_iter (fun (l,o,n) -> mark n) d.record |
| 505 |
|
|