Crate modus_ponens_derive[][src]

Derive Macros