27 class Range;  variable
30 class Range<Int> {
86     Range(const Container &cont) : From_ {0}, To_ {cont.size() - 1}  in Range()  function
89     Range(const Int from, const Int to) : From_ {std::min(from, to)}, To_ {std::max(from, to)} {}  in Range()  function
90     Range() = default;
91     ~Range() = default;
108     Range BasedAt(Int point) const  in BasedAt()
110         return Range {point, point + To_ - From_};  in BasedAt()
146     bool operator==(const Range &rhs) const
157 Range(Int, Int, typename std::enable_if<std::is_integral<Int>::value, bool>::type b = true)->Range<…
162 string to_string(const panda::verifier::Range<Int> &range)  in to_string()  argument
164     return string {"[ "} + to_string(range.Start()) + " .. " + to_string(range.End()) + " ]";  in to_string()