dafny

Interface Function0<T0>

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 Function0<T0>

Method Summary

Modifier and Type	Method and Description
static <T0> dafny.TypeDescriptor<Function0<T0>>	_typeDescriptor(dafny.TypeDescriptor<T0> t0)
T0	apply()

Method Detail

apply

T0 apply()

_typeDescriptor

static <T0> dafny.TypeDescriptor<Function0<T0>> _typeDescriptor(dafny.TypeDescriptor<T0> t0)