Skip to main content

pi

ftml_solver::rules::extractors

Function pi 

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