dafny

Interface Function12<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12>

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 Function12<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12>

Method Summary

Modifier and Type	Method and Description
static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12> TypeDescriptor<Function12<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12>>	_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)
T12	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)

Method Detail

apply

T12 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)

_typeDescriptor

static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12> TypeDescriptor<Function12<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12>> _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)