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