lustrec/src/normalization.mli @ d3f0059e
1 |
val mk_expr_alias_opt: bool -> Lustre_types.node_desc -> (Lustre_types.eq list * Lustre_types.var_decl list)-> Lustre_types.expr -> (Lustre_types.eq list * Lustre_types.var_decl list) * Lustre_types.expr |
---|---|
2 |
val normalize_prog: ?backend:string -> Lustre_types.program -> Lustre_types.program |