Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / arrow.mli @ master

History | View | Annotate | Download (102 Bytes)

1
val arrow_id: string
2
val arrow_top_decl: Lustre_types.top_decl
3
val arrow_desc: Lustre_types.node_desc