Enum datalog::predicates::Stmt

pub enum Stmt<'a> {
    Fact(Pred<'a, ID<'a>>),
    Rule(Pred<'a, ID<'a>>, Vec<Pred<'a, ID<'a>>>),
    Query(Pred<'a, ID<'a>>),
}

Variants

Fact(Pred<'a, ID<'a>>)Rule(Pred<'a, ID<'a>>, Vec<Pred<'a, ID<'a>>>)Query(Pred<'a, ID<'a>>)

Trait Implementations

impl<'a> Debug for Stmt<'a>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'a> Display for Stmt<'a>

fn fmt(&self, f: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.