Project

General

Profile

Revision 70be4acf src/corelang.mli

View differences:

src/corelang.mli
132 132
val get_dependencies : program -> top_decl list
133 133
(* val prog_unfold_consts: program -> program *)
134 134

  
135
(** Returns the node named ident in the provided program. Raise Not_found *)
136
val get_node : ident -> program -> node_desc
137

  
138
  
135 139
val rename_static: (ident -> Dimension.dim_expr) -> type_dec_desc -> type_dec_desc
136 140
val rename_carrier: (ident -> ident) -> clock_dec_desc -> clock_dec_desc
137 141

  

Also available in: Unified diff