egglog::ast

Type Alias Rewrite

Source 
pub type Rewrite = GenericRewrite<String, String>;

Aliased Type§

struct Rewrite {
    pub span: Span,
    pub lhs: GenericExpr<String, String>,
    pub rhs: GenericExpr<String, String>,
    pub conditions: Vec<GenericFact<String, String>>,
}

Fields§

§span: Span§lhs: GenericExpr<String, String>§rhs: GenericExpr<String, String>§conditions: Vec<GenericFact<String, String>>