creusot_contracts
0.3.0
In creusot_contracts::std::prelude::rust_2015
Macro
creusot_contracts
::
std
::
prelude
::
rust_2015
::
deref
Copy item path
source
·
[
−
]
pub macro
deref(
$pat
:pat) { ... }
🔬
This is a nightly-only experimental API. (
deref_patterns
)
Expand description
Unstable placeholder for deref patterns.