dafny

Interface Function16<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface Function16<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>

Method Summary

Modifier and Type	Method and Description
static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16> TypeDescriptor<Function16<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>>	_typeDescriptor(TypeDescriptor<T0> t0, TypeDescriptor<T1> t1, TypeDescriptor<T2> t2, TypeDescriptor<T3> t3, TypeDescriptor<T4> t4, TypeDescriptor<T5> t5, TypeDescriptor<T6> t6, TypeDescriptor<T7> t7, TypeDescriptor<T8> t8, TypeDescriptor<T9> t9, TypeDescriptor<T10> t10, TypeDescriptor<T11> t11, TypeDescriptor<T12> t12, TypeDescriptor<T13> t13, TypeDescriptor<T14> t14, TypeDescriptor<T15> t15, TypeDescriptor<T16> t16)
T16	apply(T0 t0, T1 t1, T2 t2, T3 t3, T4 t4, T5 t5, T6 t6, T7 t7, T8 t8, T9 t9, T10 t10, T11 t11, T12 t12, T13 t13, T14 t14, T15 t15)

Method Detail

apply

T16 apply(T0 t0,
          T1 t1,
          T2 t2,
          T3 t3,
          T4 t4,
          T5 t5,
          T6 t6,
          T7 t7,
          T8 t8,
          T9 t9,
          T10 t10,
          T11 t11,
          T12 t12,
          T13 t13,
          T14 t14,
          T15 t15)

_typeDescriptor

static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16> TypeDescriptor<Function16<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>> _typeDescriptor(TypeDescriptor<T0> t0,
                                                                                                                                                                         TypeDescriptor<T1> t1,
                                                                                                                                                                         TypeDescriptor<T2> t2,
                                                                                                                                                                         TypeDescriptor<T3> t3,
                                                                                                                                                                         TypeDescriptor<T4> t4,
                                                                                                                                                                         TypeDescriptor<T5> t5,
                                                                                                                                                                         TypeDescriptor<T6> t6,
                                                                                                                                                                         TypeDescriptor<T7> t7,
                                                                                                                                                                         TypeDescriptor<T8> t8,
                                                                                                                                                                         TypeDescriptor<T9> t9,
                                                                                                                                                                         TypeDescriptor<T10> t10,
                                                                                                                                                                         TypeDescriptor<T11> t11,
                                                                                                                                                                         TypeDescriptor<T12> t12,
                                                                                                                                                                         TypeDescriptor<T13> t13,
                                                                                                                                                                         TypeDescriptor<T14> t14,
                                                                                                                                                                         TypeDescriptor<T15> t15,
                                                                                                                                                                         TypeDescriptor<T16> t16)