lustrec/src/arrow.mli @ ca7ff3f7
1 |
val arrow_id : string |
---|---|
2 |
|
3 |
val arrow_top_decl : unit -> Lustre_types.top_decl |
4 |
|
5 |
val arrow_desc : Lustre_types.node_desc |
6 |
|
7 |
val td_is_arrow : Lustre_types.top_decl -> bool |