Project

General

Profile

Download (930 Bytes) Statistics
| Branch: | Tag: | Revision:
1
open Lustre_types
2

    
3
let arrow_id = "_arrow"
4

    
5
let arrow_typ = Types.new_ty Types.Tunivar
6

    
7
let arrow_desc =
8
  {
9
    node_id = arrow_id;
10
    node_type = Type_predef.type_bin_poly_op;
11
    node_clock = Clock_predef.ck_bin_univ;
12
    node_inputs =
13
      [
14
        Corelang.dummy_var_decl "_in1" arrow_typ;
15
        Corelang.dummy_var_decl "_in2" arrow_typ;
16
      ];
17
    node_outputs = [ Corelang.dummy_var_decl "_out" arrow_typ ];
18
    node_locals = [];
19
    node_gencalls = [];
20
    node_checks = [];
21
    node_asserts = [];
22
    node_stmts = [];
23
    node_dec_stateless = false;
24
    node_stateless = Some false;
25
    node_spec = None;
26
    node_annot = [];
27
    node_iscontract = false;
28
  }
29

    
30
let arrow_top_decl () =
31
  {
32
    top_decl_desc = Node arrow_desc;
33
    top_decl_owner = Options_management.core_dependency "arrow";
34
    top_decl_itf = false;
35
    top_decl_loc = Location.dummy_loc;
36
  }
37

    
38
let td_is_arrow td = Corelang.node_name td = arrow_id
(5-5/66)