IntInvariant (p.goblint.2.6.0.doc.goblint_cdomain

val of_int : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  GoblintCil__.Cilint.cilint ->
  [> `Lifted of GoblintCil.Cil.exp | `Top ]

val of_incl_list : 
  GoblintCil.Cil.exp ->
  GoblintCil.ikind ->
  GoblintCil__.Cilint.cilint list ->
  [ `Bot | `Lifted of Invariant.ExpLat.t | `Top ]

val of_interval_opt : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  (GoblintCil__.Cilint.cilint option * Z.t option) ->
  [ `Bot | `Lifted of GoblintCil.Cil.exp | `Top ]

val of_interval : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  (GoblintCil__.Cilint.cilint * Z.t) ->
  [ `Bot | `Lifted of GoblintCil.Cil.exp | `Top ]

val of_excl_list : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  GoblintCil__.Cilint.cilint list ->
  [ `Bot | `Lifted of Invariant.ExpLat.t | `Top ]