Difference between a ##5 b and a |->##5 b

In reply to prashantk:

The first will be checked at every posedge of clk and second will be checked at only if a is true.