Skip to main content

subtraction

ftml_solver::rules::extractors

Function subtraction 

Source 
pub fn subtraction<Split: SplitStrategy>(
    sym: &Symbol,
    rules: &mut RuleSet<Split>,
)