Module Time_intf.Controller

type t