Struct LazyFieldWrapper 

pub struct LazyFieldWrapper<A>(pub Lazy<A, Box<dyn FnOnce() -> A + 'static>>);

Tuple Fields

0: Lazy<A, Box<dyn FnOnce() -> A + 'static>>

Trait Implementations

impl<A: DafnyPrint> DafnyPrint for LazyFieldWrapper<A>

fn fmt_print(&self, f: &mut Formatter<'_>, in_seq: bool) -> Result

fn is_char() -> bool

impl<A: Default + 'static> Default for LazyFieldWrapper<A>

fn default() -> Self

Returns the “default value” for a type.

impl<A: PartialEq> PartialEq for LazyFieldWrapper<A>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.