CristalCaveGem » LustreC

and clock_subtyping_arg env ?(sub=true) real_arg formal_clock =

  let loc = real_arg.expr_loc in

  let real_clock = clock_expr env real_arg in

(* computes clocks for node application *)

and clock_appl env f args clock_reset loc =

  let ck_rhs = clock_expr env eq.eq_rhs in

  clock_subtyping_arg env expr_lhs ck_rhs

(* [clock_coreclock cck] returns the clock_expr corresponding to clock

    declaration [cck] *)

let clock_coreclock env cck id loc scoped =