Project

General

Profile

Download (110 Bytes) Statistics
| Branch: | Tag: | Revision:
1 2863281f ploc
val arrow_id: string
2 719ae9fd LĂ©lio Brun
val arrow_top_decl: unit -> Lustre_types.top_decl
3 2863281f ploc
val arrow_desc: Lustre_types.node_desc