macro_rules! checkpoint {
($name:ident; $checkpoint:ident) => { ... };
($name:ident; $checkpoint:ident, {$($metadata:tt)+}) => { ... };
($name:ident; $checkpoint:ident, $time:expr) => { ... };
($name:ident; $checkpoint:ident, $time:expr, {$($metadata:tt)+}) => { ... };
(|$name:ident; $checkpoint:ident, $time:expr, $metadata:expr) => { ... };
}
Expand description
Capture the trace/checkpoint.