dafny

Interface Function10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10>

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

Method Summary

Modifier and Type	Method and Description
static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10> TypeDescriptor<Function10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10>>	_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)
T10	apply(T0 t0, T1 t1, T2 t2, T3 t3, T4 t4, T5 t5, T6 t6, T7 t7, T8 t8, T9 t9)

Method Detail

apply

T10 apply(T0 t0,
          T1 t1,
          T2 t2,
          T3 t3,
          T4 t4,
          T5 t5,
          T6 t6,
          T7 t7,
          T8 t8,
          T9 t9)

_typeDescriptor

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