Module default

creusot_contracts::std

Module default 

Source

Functions§

extern_spec_Default_bool_default
extern spec for bool::default
extern_spec_std_default_Default_default
extern spec for ::std::default::Default::default

Derive Macros§

Default