• Home
• org.dafny
• DafnyRuntime
• 4.8.0
• source code
• Function16.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

dafny.Function16 Maven / Gradle / Ivy

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);}
}