SharedFunctions.ConvBounds
Interface for Bounds which calculates bounds for expressions and is used inside the - Convert module.
type t
val bound_texpr : t -> Goblint_lib__.GobApron.Texpr1.t -> Z.t option * Z.t option