sig   type t   val pretty : Abstract_interp.Rel.t Pretty_utils.formatter   val equal : Abstract_interp.Rel.t -> Abstract_interp.Rel.t -> bool   val compare : Abstract_interp.Rel.t -> Abstract_interp.Rel.t -> int   val hash : Abstract_interp.Rel.t -> int   val zero : Abstract_interp.Rel.t   val is_zero : Abstract_interp.Rel.t -> bool   val sub :     Abstract_interp.Rel.t -> Abstract_interp.Rel.t -> Abstract_interp.Rel.t   val add_abs :     Abstract_interp.Int.t -> Abstract_interp.Rel.t -> Abstract_interp.Int.t   val add :     Abstract_interp.Rel.t -> Abstract_interp.Rel.t -> Abstract_interp.Rel.t   val sub_abs :     Abstract_interp.Int.t -> Abstract_interp.Int.t -> Abstract_interp.Rel.t   val pos_rem :     Abstract_interp.Rel.t -> Abstract_interp.Int.t -> Abstract_interp.Rel.t   val check : rem:Abstract_interp.Rel.t -> modu:Abstract_interp.Int.t -> bool end