• Home
• org.dafny
• DafnyRuntime
• 4.5.0
• source code
• Function5.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.Function5 Maven / Gradle / Ivy

package dafny;

@FunctionalInterface
public interface Function5 {
  public T5 apply(T0 t0, T1 t1, T2 t2, T3 t3, T4 t4);
  @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) {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Function5.class);}
}