Type Alias Fact

pub type Fact = GenericFact<String, String>;

Aliased Type§

pub enum Fact {
    Eq(Span, GenericExpr<String, String>, GenericExpr<String, String>),
    Fact(GenericExpr<String, String>),
}