replace_internal_symbol_with

egglog::ast

Function replace_internal_symbol_with 

Source 
pub fn replace_internal_symbol_with(
    program: &[GenericCommand<String, String>],
    replacement: &str,
) -> Vec<GenericCommand<String, String>>
Expand description

Replaces all identifiers containing the internal symbol prefix with the given replacement string.