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= [Corelang.dummy_var_decl "_in1" arrow_typ; Corelang.dummy_var_decl "_in2" arrow_typ];
|
13
|
node_outputs= [Corelang.dummy_var_decl "_out" arrow_typ];
|
14
|
node_locals= [];
|
15
|
node_gencalls = [];
|
16
|
node_checks = [];
|
17
|
node_asserts = [];
|
18
|
node_stmts= [];
|
19
|
node_dec_stateless = false;
|
20
|
node_stateless = Some false;
|
21
|
node_spec = None;
|
22
|
node_annot = []; }
|
23
|
|
24
|
let arrow_top_decl =
|
25
|
{
|
26
|
top_decl_desc = Node arrow_desc;
|
27
|
top_decl_owner = (Options_management.core_dependency "arrow");
|
28
|
top_decl_itf = false;
|
29
|
top_decl_loc = Location.dummy_loc
|
30
|
}
|