dafny.Function16 Maven / Gradle / Ivy

Go to download
package dafny;

@FunctionalInterface
public interface Function16 {
  public 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);
  @SuppressWarnings({"unchecked", "deprecation"})
  public static  dafny.TypeDescriptor> _typeDescriptor(dafny.TypeDescriptor t0, dafny.TypeDescriptor t1, dafny.TypeDescriptor t2, dafny.TypeDescriptor t3, dafny.TypeDescriptor t4, dafny.TypeDescriptor t5, dafny.TypeDescriptor t6, dafny.TypeDescriptor t7, dafny.TypeDescriptor t8, dafny.TypeDescriptor t9, dafny.TypeDescriptor t10, dafny.TypeDescriptor t11, dafny.TypeDescriptor t12, dafny.TypeDescriptor t13, dafny.TypeDescriptor t14, dafny.TypeDescriptor t15, dafny.TypeDescriptor t16) {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Function16.class);}
}