object val clock : SFClock.t method get_elapsed_time : unit -> SFTime.t method restart : unit -> SFTime.t end