Skip to main content

undo_implicits

ftml_solver::rules::symbols

Function undo_implicits 

Source 
fn undo_implicits(term: &Term) -> Option<Term>