Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/clock_predef.ml | ||
---|---|---|
6 | 6 |
(* LustreC is free software, distributed WITHOUT ANY WARRANTY *) |
7 | 7 |
(* under the terms of the GNU Lesser General Public License *) |
8 | 8 |
(* version 2.1. *) |
9 |
(* *)
|
|
9 |
(* *) |
|
10 | 10 |
(* This file was originally from the Prelude compiler *) |
11 |
(* *)
|
|
11 |
(* *) |
|
12 | 12 |
(********************************************************************) |
13 | 13 |
|
14 |
(** Predefined operator clocks *) |
|
15 | 14 |
open Clocks |
15 |
(** Predefined operator clocks *) |
|
16 | 16 |
|
17 | 17 |
let ck_tuple cl = new_ck (Ctuple cl) true |
18 | 18 |
|
19 | 19 |
let ck_bin_univ = |
20 | 20 |
let univ = new_univar () in |
21 |
new_ck (Carrow (new_ck (Ctuple [univ;univ]) true, univ)) true
|
|
21 |
new_ck (Carrow (new_ck (Ctuple [ univ; univ ]) true, univ)) true
|
|
22 | 22 |
|
23 | 23 |
let ck_ite = |
24 | 24 |
let univ = new_univar () in |
25 |
new_ck (Carrow (new_ck (Ctuple [univ;univ;univ]) true, univ)) true
|
|
25 |
new_ck (Carrow (new_ck (Ctuple [ univ; univ; univ ]) true, univ)) true
|
|
26 | 26 |
|
27 | 27 |
let ck_nullary_univ = |
28 | 28 |
let univ = new_univar () in |
... | ... | |
43 | 43 |
new_ck (Carrow (new_ck (Ccarrying (cuniv, univ)) false, univ)) |
44 | 44 |
|
45 | 45 |
let ck_carrier id ck = |
46 |
new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true |
|
46 |
new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true
|
|
47 | 47 |
(* Local Variables: *) |
48 | 48 |
(* compile-command:"make -C .." *) |
49 | 49 |
(* End: *) |
Also available in: Unified diff
reformatting