Macro model::linearizable
source · macro_rules! linearizable {
(
Implementation => $implementation:stmt,
$($op:ident ($($type:ty),*) ($parm:pat in $strategy:expr) -> $ret:ty $body:block),*
) => { ... };
(
Config => $config:expr,
Implementation => $implementation:stmt,
$($op:ident ($($type:ty),*) ($parm:pat in $strategy:expr) -> $ret:ty $body:block),*
) => { ... };
}