29 class Index {
31     Index() : Value_ {INVALID} {}  in Index()  function
32     Index(Int val) : Value_ {val}  in Index()  function
36     Index &operator=(Int val)
42     Index(const Index &) = default;
43     Index(Index &&idx) : Value_ {idx.Value_}  in Index()  function
47     Index &operator=(const Index &) = default;
48     Index &operator=(Index &&idx)
54     ~Index() = default;
56     bool operator==(const Index &other) const
60     bool operator!=(const Index &other) const
110 struct hash<panda::verifier::Index<Int, I>> {
111     size_t operator()(const panda::verifier::Index<Int, I> &i) const noexcept