egglog::ast

Type Alias Rule

Source 
pub type Rule = GenericRule<String, String>;

Aliased Type§

struct Rule {
    pub span: Span,
    pub head: GenericActions<String, String>,
    pub body: Vec<GenericFact<String, String>>,
    pub name: String,
    pub ruleset: String,
}

Fields§

§span: Span§head: GenericActions<String, String>§body: Vec<GenericFact<String, String>>§name: String

A globally unique name for this rule in the EGraph.

§ruleset: String

The ruleset this rule belongs to. Defaults to "".