Type Definition rtlola_interpreter::Time[][src]

type Time = Duration;