Project

General

Profile

Download (930 Bytes) Statistics
| Branch: | Tag: | Revision:
1 2863281f ploc
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 ca7ff3f7 Lélio Brun
    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 2863281f ploc
    node_gencalls = [];
20
    node_checks = [];
21
    node_asserts = [];
22 ca7ff3f7 Lélio Brun
    node_stmts = [];
23 2863281f ploc
    node_dec_stateless = false;
24
    node_stateless = Some false;
25
    node_spec = None;
26 f4cba4b8 ploc
    node_annot = [];
27
    node_iscontract = false;
28 ca7ff3f7 Lélio Brun
  }
29 2863281f ploc
30 719ae9fd Lélio Brun
let arrow_top_decl () =
31 2863281f ploc
  {
32
    top_decl_desc = Node arrow_desc;
33 ca7ff3f7 Lélio Brun
    top_decl_owner = Options_management.core_dependency "arrow";
34 2863281f ploc
    top_decl_itf = false;
35 ca7ff3f7 Lélio Brun
    top_decl_loc = Location.dummy_loc;
36 2863281f ploc
  }
37 6d1693b9 Lélio Brun
38 ca7ff3f7 Lélio Brun
let td_is_arrow td = Corelang.node_name td = arrow_id