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