| Array<T> |
A wrapper for an array that may be of primitive type.
|
| Array1<T> |
|
| Array10<T> |
|
| Array11<T> |
|
| Array12<T> |
|
| Array13<T> |
|
| Array14<T> |
|
| Array15<T> |
|
| Array16<T> |
|
| Array2<T> |
|
| Array3<T> |
|
| Array4<T> |
|
| Array5<T> |
|
| Array6<T> |
|
| Array7<T> |
|
| Array8<T> |
|
| Array9<T> |
|
| 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 |
|
| 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> |
|