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