Module Record_time

val record_time : unit -> unit
val return_time : unit -> int