@type count() :: Wyvern.Value.t() | pos_integer()

@type t() :: %Wyvern.Instruction.Alloca{
  count: count(),
  dest: Wyvern.Instruction.Types.destination(),
  id: reference(),
  type: Wyvern.Type.t()
}