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