Revision 7dedc5f0
Added by Xavier Thirioux over 8 years ago
| src/corelang.mli | ||
|---|---|---|
| 61 | 61 |
val get_node_vars: node_desc -> var_decl list |
| 62 | 62 |
val get_node_var: ident -> node_desc -> var_decl |
| 63 | 63 |
val get_node_eq: ident -> node_desc -> eq |
| 64 |
val get_node_interface: node_desc -> imported_node_desc |
|
| 64 | 65 |
|
| 65 | 66 |
(* val get_const: ident -> constant *) |
| 66 | 67 |
|
Also available in: Unified diff
added some functions, prior to code refactoring