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