dafny

Interface TypeDescriptor.Initializer<T>

Enclosing class:

TypeDescriptor<T>

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 static interface TypeDescriptor.Initializer<T>

Method Summary

Modifier and Type	Method and Description
T	defaultValue()

Method Detail

defaultValue

T defaultValue()