Project

General

Profile

Revision ed81df06 src/corelang.mli

View differences:

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