Revision 1eda3e78 src/stateless.ml
src/stateless.ml | ||
---|---|---|
36 | 36 |
check_expr e' && |
37 | 37 |
(Basic_library.is_internal_fun i || check_node (node_from_name i)) |
38 | 38 |
and compute_node nd = |
39 |
List.for_all (fun eq -> check_expr eq.eq_rhs) nd.node_eqs
|
|
39 |
List.for_all (fun eq -> check_expr eq.eq_rhs) (get_node_eqs nd)
|
|
40 | 40 |
and check_node td = |
41 | 41 |
match td.top_decl_desc with |
42 | 42 |
| Node nd -> ( |
Also available in: Unified diff