dafny.Function7 Maven / Gradle / Ivy
package dafny;
@FunctionalInterface
public interface Function7 {
public T7 apply(T0 t0, T1 t1, T2 t2, T3 t3, T4 t4, T5 t5, T6 t6);
@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) {
return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Function7.class);}
}