val arrow_id: string
val arrow_top_decl: unit -> Lustre_types.top_decl
val arrow_desc: Lustre_types.node_desc
val td_is_arrow: Lustre_types.top_decl -> bool