egglog::prelude

Function add_base_sort

Source 
pub fn add_base_sort(
    egraph: &mut EGraph,
    base_sort: impl BaseSort,
    span: Span,
) -> Result<(), TypeError>
Expand description

Add a BaseSort to the e-graph