Rewrite

egglog::ast

Type Alias Rewrite 

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

Aliased Type§

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

Fields§

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