IntInvariant (p.goblint.2.7.1.doc.goblint_cdomain

val of_int : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  GoblintCil__.Cilint.cilint ->
  Invariant.t

val of_incl_list : 
  GoblintCil.Cil.exp ->
  GoblintCil.ikind ->
  GoblintCil__.Cilint.cilint list ->
  Invariant.t

val of_interval_opt : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  (GoblintCil__.Cilint.cilint option * Z.t option) ->
  Invariant.t

val of_interval : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  (GoblintCil__.Cilint.cilint * Z.t) ->
  Invariant.t

val of_excl_list : 
  GoblintCil.Cil.exp ->
  GoblintCil.Cil.ikind ->
  GoblintCil__.Cilint.cilint list ->
  Invariant.t