midichannelty

type midichannelty = (

  mic_0,

  mic_1,

  mic_2,

  mic_3,

  mic_4,

  mic_5,

  mic_6,

  mic_7,

  mic_8,

  mic_9,

  mic_10,

  mic_11,

  mic_12,

  mic_13,

  mic_14,

  mic_15

);