dafny.Function14 Maven / Gradle / Ivy

Go to download
package dafny;

@FunctionalInterface
public interface Function14 {
  public T14 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);
  @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) {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Function14.class);}
}