ToySolver.Arith.BoundsInference

type BoundsEnv r

inferBounds

computeInterval