Package dafny

package dafny
  • 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>