Cryptol.TypeCheck.Solver.Utils

splitMins

splitVarSummands

splitVarSummand

splitConstSummand

splitConstFactor