sig
type t = Lt | Gt | Le | Ge | Eq | Ne
type result = Abstract_interp.truth = True | False | Unknown
val pretty_comp : Abstract_interp.Comp.t Pretty_utils.formatter
val inv : Abstract_interp.Comp.t -> Abstract_interp.Comp.t
val sym : Abstract_interp.Comp.t -> Abstract_interp.Comp.t
end