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