Skip to main content
subtp
ftml_
solver
0.0.1
In ftml_
solver::
rules::
extractors
ftml_solver
::
rules
::
extractors
Function
subtp
Copy item path
Source
pub fn subtp<Split:
SplitStrategy
>(params: &[Term], rules: &mut
RuleSet
<Split>)