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