Revision d50b0dc0
Added by Teme Kahsai about 9 years ago
| src/clock_predef.ml | ||
|---|---|---|
| 42 | 42 |
let cuniv = new_carrier Carry_var false in |
| 43 | 43 |
new_ck (Carrow (new_ck (Ccarrying (cuniv, univ)) false, univ)) |
| 44 | 44 |
|
| 45 |
let ck_carrier id ck = |
|
| 46 |
new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true |
|
| 45 | 47 |
(* Local Variables: *) |
| 46 | 48 |
(* compile-command:"make -C .." *) |
| 47 | 49 |
(* End: *) |
Also available in: Unified diff
sync