@type t() :: %Wyvern.Instruction.Select{
  cond: Wyvern.Value.t(),
  dest: Wyvern.Instruction.Types.destination(),
  id: reference(),
  if_false: Wyvern.Value.t(),
  if_true: Wyvern.Value.t()
}