Cryptol.TypeCheck.Solver.Utils

splitVarSummands

splitVarSummand

splitConstSummand

splitConstFactor