Project

General

Profile

Revision 59020713 src/corelang.mli

View differences:

src/corelang.mli
86 86
val const_xor: constant -> constant -> constant
87 87
val const_impl: constant -> constant -> constant
88 88

  
89
val get_var: ident -> var_decl list -> var_decl
89 90
val get_node_vars: node_desc -> var_decl list
90 91
val get_node_var: ident -> node_desc -> var_decl
91 92
val get_node_eqs: node_desc -> eq list * automata_desc list

Also available in: Unified diff