Other items inferrite_session::prelude
macro_rules! offer_case { ($label:ident, $cont:expr) => { ... }; }