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