dafny

Interface Function8<T0,T1,T2,T3,T4,T5,T6,T7,T8>

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

Method Summary

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

Method Detail

apply

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

_typeDescriptor

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