dafny

Class Tuple1<T0>

java.lang.Object

dafny.Tuple1<T0>

public class Tuple1<T0>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Tuple1(T0 _0)

Method Summary

Modifier and Type	Method and Description
static <T0> TypeDescriptor<Tuple1<T0>>	_typeDescriptor(TypeDescriptor<T0> _td_T0)
static <T0> Tuple1<T0>	create(T0 _0)
static <T0> Tuple1<T0>	Default(T0 _default_T0)
T0	dtor__0()
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Tuple1

public Tuple1(T0 _0)

Method Detail

_typeDescriptor

public static <T0> TypeDescriptor<Tuple1<T0>> _typeDescriptor(TypeDescriptor<T0> _td_T0)

Default

public static <T0> Tuple1<T0> Default(T0 _default_T0)

create

public static <T0> Tuple1<T0> create(T0 _0)

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

dtor__0

public T0 dtor__0()