Vect.Bound
type t
=
{
cst : Num.num;
var : var;
coeff : Num.num;
}
represents a0 + ai.xi
val of_vect : vector -> t option