Skip to main content

conjunction

ftml_solver::rules::extractors

Function conjunction 

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