Skip to main content

empty_egraph

refrain_egraph

Function empty_egraph 

Source 
pub fn empty_egraph() -> EGraph<RefrainLang, ()>
Expand description

Build a raw EGraph (without rules) for advanced use; the standard pipeline goes through Egraph::normalize.