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> TypeDescriptor<Function1<T0,T1>>	_typeDescriptor(TypeDescriptor<T0> t0, TypeDescriptor<T1> t1)
T1	apply(T0 t0)

Method Detail

apply

T1 apply(T0 t0)

_typeDescriptor

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