Numeric.Limp.Program.Bounds
data Bounds z r c
type B rep v
lowerUpperZ
lowerZ
upperZ
binary
lowerUpperR
lowerR
upperR