OctagonMapDomain (p.goblint.1.1.1.doc.goblint.lib.OctagonMapDomain)

module B = Basetype

module BV = B.Variables

module OPT = BatOption

module BI = IntOps.BigIntOps

val min_int : OctagonDomain.INV.int_t

val max_int : OctagonDomain.INV.int_t

val cast : Cil.varinfo -> 'a -> 'a

module MatrixCache : sig ... end

val ikind : unit -> Cil.ikind

module E : sig ... end

module OctLiszt : sig ... end

module ConstraintType : sig ... end

module CT = ConstraintType

module type S = sig ... end

module VD : sig ... end

module MapOctagon : S with type key = BV.t

module MapOctagonBot : S with type key = BV.t