Skip to main content
prenex
ftml_
solver
0.0.1
In ftml_
solver::
rules::
extractors
ftml_solver
::
rules
::
extractors
Function
prenex
Copy item path
Source
pub fn prenex<Split:
SplitStrategy
>(sym: &Symbol, rules: &mut
RuleSet
<Split>)