AOps0.Bounds
type t = Man.mt A.t
val bound_texpr : Man.mt A.t -> Apron.Texpr1.t -> Z.t option * Z.t option