dafny.Tuple8<T0,T1,T2,T3,T4,T5,T6,T7>

public class Tuple8<T0,T1,T2,T3,T4,T5,T6,T7> extends Object

Constructor Details
- Tuple8
  
  public Tuple8(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7)
Method Details
- _typeDescriptor
  
  public static <T0, T1, T2, T3, T4, T5, T6, T7> TypeDescriptor<Tuple8<T0,T1,T2,T3,T4,T5,T6,T7>> _typeDescriptor(TypeDescriptor<T0> _td_T0, TypeDescriptor<T1> _td_T1, TypeDescriptor<T2> _td_T2, TypeDescriptor<T3> _td_T3, TypeDescriptor<T4> _td_T4, TypeDescriptor<T5> _td_T5, TypeDescriptor<T6> _td_T6, TypeDescriptor<T7> _td_T7)
- Default
  
  public static <T0, T1, T2, T3, T4, T5, T6, T7> Tuple8<T0,T1,T2,T3,T4,T5,T6,T7> Default(T0 _default_T0, T1 _default_T1, T2 _default_T2, T3 _default_T3, T4 _default_T4, T5 _default_T5, T6 _default_T6, T7 _default_T7)
- create
  
  public static <T0, T1, T2, T3, T4, T5, T6, T7> Tuple8<T0,T1,T2,T3,T4,T5,T6,T7> create(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7)
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class Object
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object
- dtor__0
  
  public T0 dtor__0()
- dtor__1
  
  public T1 dtor__1()
- dtor__2
  
  public T2 dtor__2()
- dtor__3
  
  public T3 dtor__3()
- dtor__4
  
  public T4 dtor__4()
- dtor__5
  
  public T5 dtor__5()
- dtor__6
  
  public T6 dtor__6()
- dtor__7
  
  public T7 dtor__7()

Class Tuple8<T0,T1,T2,T3,T4,T5,T6,T7>

Constructor Summary