[−][src]Type Definition arduino_mkr1000::timer::TimerCounter4

type TimerCounter4 = TimerCounter<TC4>;