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