dafny.Function1 Maven / Gradle / Ivy
package dafny;
@FunctionalInterface
public interface Function1 {
public T1 apply(T0 t0);
@SuppressWarnings({"unchecked", "deprecation"})
public static dafny.TypeDescriptor> _typeDescriptor(dafny.TypeDescriptor t0, dafny.TypeDescriptor t1) {
return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Function1.class);}
}