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