Module default

creusot_std::std

Module default 

Source

Functions§

extern_spec_Default_bool_default
extern spec for bool::default
extern_spec_core_default_Default_default
extern spec for ::core::default::Default::default

Derive Macros§

Default