dafny

Interface Function2<T0,T1,T2>

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 Function2<T0,T1,T2>

Method Summary

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

Method Detail

apply

T2 apply(T0 t0,
         T1 t1)

_typeDescriptor

static <T0,T1,T2> dafny.TypeDescriptor<Function2<T0,T1,T2>> _typeDescriptor(dafny.TypeDescriptor<T0> t0,
                                                                            dafny.TypeDescriptor<T1> t1,
                                                                            dafny.TypeDescriptor<T2> t2)