Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/arrow.mli | ||
---|---|---|
1 |
val arrow_id: string |
|
2 |
val arrow_top_decl: unit -> Lustre_types.top_decl |
|
3 |
val arrow_desc: Lustre_types.node_desc |
|
4 |
val td_is_arrow: Lustre_types.top_decl -> bool |
|
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 |
Also available in: Unified diff
reformatting