ResolvedFact

egglog::ast

Type Alias ResolvedFact 

Source 
pub type ResolvedFact = GenericFact<ResolvedCall, ResolvedVar>;

Aliased Type§

pub enum ResolvedFact {
    Eq(Span, GenericExpr<ResolvedCall, ResolvedVar>, GenericExpr<ResolvedCall, ResolvedVar>),
    Fact(GenericExpr<ResolvedCall, ResolvedVar>),
}

Variants§

§

Eq(Span, GenericExpr<ResolvedCall, ResolvedVar>, GenericExpr<ResolvedCall, ResolvedVar>)

§

Fact(GenericExpr<ResolvedCall, ResolvedVar>)