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 |