Project

General

Profile

Revision d50b0dc0 src/clock_predef.ml

View differences:

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