Skip to main content
applicable
ftml_
solver
0.0.1
In ftml_
solver::
rules::
operators::
numbers
ftml_solver
::
rules
::
operators
::
numbers
Function
applicable
Copy item path
Source
fn applicable(uri: &SymbolUri, term: &Term, unit:
f64
) ->
bool