dafny.Tuple6<T0,T1,T2,T3,T4,T5>

public class Tuple6<T0,T1,T2,T3,T4,T5> extends Object

Constructor Details
- Tuple6
  
  public Tuple6(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5)
Method Details
- _typeDescriptor
  
  public static <T0, T1, T2, T3, T4, T5> TypeDescriptor<Tuple6<T0,T1,T2,T3,T4,T5>> _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)
- Default
  
  public static <T0, T1, T2, T3, T4, T5> Tuple6<T0,T1,T2,T3,T4,T5> Default(T0 _default_T0, T1 _default_T1, T2 _default_T2, T3 _default_T3, T4 _default_T4, T5 _default_T5)
- create
  
  public static <T0, T1, T2, T3, T4, T5> Tuple6<T0,T1,T2,T3,T4,T5> create(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5)
- 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()

Class Tuple6<T0,T1,T2,T3,T4,T5>

Constructor Summary