Derive Macro modus_ponens_derive::KBGen [−][src]
#[derive(KBGen)]
{
// Attributes available to this derive:
#[grammar]
#[grammar_inline]
}
#[derive(KBGen)]
{
// Attributes available to this derive:
#[grammar]
#[grammar_inline]
}