Skip to main content

prop

ftml_solver::rules::extractors

Function prop 

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