dafny

Interface Function1<T0,T1>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface Function1<T0,T1>

Method Summary

Modifier and Type	Method and Description
static <T0,T1> dafny.TypeDescriptor<Function1<T0,T1>>	_typeDescriptor(dafny.TypeDescriptor<T0> t0, dafny.TypeDescriptor<T1> t1)
T1	apply(T0 t0)

Method Detail

apply

T1 apply(T0 t0)

_typeDescriptor

static <T0,T1> dafny.TypeDescriptor<Function1<T0,T1>> _typeDescriptor(dafny.TypeDescriptor<T0> t0,
                                                                      dafny.TypeDescriptor<T1> t1)