Cryptol.TypeCheck.Solver.Numeric.NonLin
nonLinProp
data NonLinS
nonLinSubst
initialNonLinS
apSubstNL
lookupNL