Skip to main content

inhabitable

ftml_solver::rules::extractors

Function inhabitable 

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