Macro creusot_contracts::std::pat::pattern_type

source · 
macro_rules! pattern_type {
    ($($arg:tt)*) => { ... };
}
🔬This is a nightly-only experimental API. (core_pattern_type)
Expand description

Creates a pattern type.

ⓘ
type Positive = std::pat::pattern_type!(i32 is 1..);