Decoder format

  decoder (control),(outputs)

The control input may be either a set of n width-1 inputs or a single width-n bus. If the outputs are all all of width one, there must be 2**n of them. Otherwise there must be a single output of width 2**n.