Project

General

Profile

Download (288 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(50-50/73)