Dear list,

Just a general request (Caml Hump & Google didn't find anything,
really): what do people use to time executions? I want to time the
execution of various phases of a compiler I'm writing, in order to get
an idea of how relatively efficient they are.

Would you recommend I just roll my own? Or is there something written
& debugged I could use?

Thanks in advance.

-Denis