Trait modus_ponens::kbase::KBGen

pub trait KBGen<'a> {
    type Output: KBase<'a>;
    fn gen_kb() -> Self::Output;
}

Associated Types

type Output: KBase<'a>

Required methods

fn gen_kb() -> Self::Output

Implementors