sig
type t = Lt | Gt | Le | Ge | Eq | Ne
type result = 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
val inv_result : Abstract_interp.Comp.result -> Abstract_interp.Comp.result
end