egg_recursive 0.2.0

A recursive interface for egg: e-graphs good without S-expresion!
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use egg_recursive::*;

#[derive(Debug, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, Language)]
pub enum GenericLang<T> {
    Int(i64),
    Param(T),
}

fn main() {
    println!("Hello, world!");
}