6. Leds Package

interface Leds::LEDS
typedef Leds::LedsWidth

Defined to be the number of default LEDs on the FPGA board.

The Zedboard has 8, Zc706 has 4, ...

Leds::leds → Bit#(LedsWidth)