Skip to main content

parens

liquid_fixpoint::smt_fmt

Macro parens 

Source 
macro_rules! parens {
    ($out:ident, $body:block) => { ... };
}