[][src]Type Definition rtlola_interpreter::Time

type Time = Duration;