Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

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