Module OctagonDomain

module BI = IntOps.BigIntOps
module IKind : sig ... end
module INV : IntDomain.Y with type int_t = BI.t
type elt =
  1. | Val of float
  2. | Infinity
val elt_to_yojson : elt -> Yojson.Safe.t
val _ : Yojson.Safe.t -> elt Ppx_deriving_yojson_runtime.error_or
val elt_to_string : elt -> string
val oct_ik : Cil.ikind
module type S = sig ... end
module ArrayOctagon : S with type t = elt array array