Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / arrow.ml @ 4f26dcf5

History | View | Annotate | Download (806 Bytes)

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
  }