let posedge clk a =
  Clock (clock (Posedge clk) a)