Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/arrow.ml | ||
---|---|---|
9 | 9 |
node_id = arrow_id; |
10 | 10 |
node_type = Type_predef.type_bin_poly_op; |
11 | 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= []; |
|
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 = []; |
|
15 | 19 |
node_gencalls = []; |
16 | 20 |
node_checks = []; |
17 | 21 |
node_asserts = []; |
18 |
node_stmts= []; |
|
22 |
node_stmts = [];
|
|
19 | 23 |
node_dec_stateless = false; |
20 | 24 |
node_stateless = Some false; |
21 | 25 |
node_spec = None; |
22 | 26 |
node_annot = []; |
23 | 27 |
node_iscontract = false; |
24 |
} |
|
28 |
}
|
|
25 | 29 |
|
26 | 30 |
let arrow_top_decl () = |
27 | 31 |
{ |
28 | 32 |
top_decl_desc = Node arrow_desc; |
29 |
top_decl_owner = (Options_management.core_dependency "arrow");
|
|
33 |
top_decl_owner = Options_management.core_dependency "arrow";
|
|
30 | 34 |
top_decl_itf = false; |
31 |
top_decl_loc = Location.dummy_loc |
|
35 |
top_decl_loc = Location.dummy_loc;
|
|
32 | 36 |
} |
33 | 37 |
|
34 |
let td_is_arrow td = |
|
35 |
Corelang.node_name td = arrow_id |
|
38 |
let td_is_arrow td = Corelang.node_name td = arrow_id |
Also available in: Unified diff
reformatting