Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

src/arrow.mli
1 1
val arrow_id: string
2 2
val arrow_top_decl: unit -> Lustre_types.top_decl
3 3
val arrow_desc: Lustre_types.node_desc
4
val td_is_arrow: Lustre_types.top_decl -> bool

Also available in: Unified diff