All Classes and Interfaces

Class	Description
Array<T>	A wrapper for an array that may be of primitive type.
BigOrdinal
BigRational
CodePoint	An int wrapper type just like java.lang.Integer, but used as a more type-safe reference to a Unicode scalar value specifically, which corresponds to the Dafny `char` type when using --unicode-char.
DafnyEuclidean
DafnyHaltException
DafnyMap<K,V>
DafnyMultiset<T>
DafnySequence<T>
DafnySet<T>
Helpers
Tuple0
Tuple1<T0>
Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>
Tuple11<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10>
Tuple12<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11>
Tuple13<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12>
Tuple14<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13>
Tuple15<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14>
Tuple16<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15>
Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>
Tuple18<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17>
Tuple19<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18>
Tuple2<T0,T1>
Tuple20<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18,T19>
Tuple3<T0,T1,T2>
Tuple4<T0,T1,T2,T3>
Tuple5<T0,T1,T2,T3,T4>
Tuple6<T0,T1,T2,T3,T4,T5>
Tuple7<T0,T1,T2,T3,T4,T5,T6>
Tuple8<T0,T1,T2,T3,T4,T5,T6,T7>
Tuple9<T0,T1,T2,T3,T4,T5,T6,T7,T8>
TypeDescriptor<T>
TypeDescriptor.Initializer<T>