Project

General

Profile

Revision 1eda3e78 src/corelang.mli

View differences:

src/corelang.mli
26 26
val mkassert: Location.t -> expr -> assert_t
27 27
val mktop_decl: Location.t -> ident -> bool -> top_decl_desc -> top_decl
28 28
val mkpredef_call: Location.t -> ident -> expr list -> expr
29
val mk_new_name: var_decl list -> ident -> ident
29
val mk_new_name: (ident -> bool) -> ident -> ident
30 30

  
31 31

  
32 32
val node_table : (ident, top_decl) Hashtbl.t
......
65 65

  
66 66
val get_node_vars: node_desc -> var_decl list
67 67
val get_node_var: ident -> node_desc -> var_decl
68
val get_node_eqs: node_desc -> eq list
68 69
val get_node_eq: ident -> node_desc -> eq
69 70
val get_node_interface: node_desc -> imported_node_desc
70 71

  

Also available in: Unified diff