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
|