dafny.Function3 Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of DafnyRuntime Show documentation

Runtime for Dafny programs compiled to Java

The newest version!

package dafny;

@FunctionalInterface
public interface Function3 {
  public T3 apply(T0 t0, T1 t1, T2 t2);
  @SuppressWarnings({"unchecked", "deprecation"})
  public static  dafny.TypeDescriptor> _typeDescriptor(dafny.TypeDescriptor t0, dafny.TypeDescriptor t1, dafny.TypeDescriptor t2, dafny.TypeDescriptor t3) {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Function3.class);}
}