Macro mononym::proof_single [−][src]
macro_rules! proof_single {
($proof : ident $(< $($proof_param : ident), + $(,) ? >) ?
($($suchthat : ident $(: $suchtype : ty) ?), * $(,) ?) $(;) ?) => { ... };
}
macro_rules! proof_single {
($proof : ident $(< $($proof_param : ident), + $(,) ? >) ?
($($suchthat : ident $(: $suchtype : ty) ?), * $(,) ?) $(;) ?) => { ... };
}