Skip to main content

beta_unknowns

ftml_solver::rules::unknowns

Function beta_unknowns 

Source 
pub(crate) fn beta_unknowns(t: Term) -> Term