AD (goblint.Goblint_lib.SharedFunctions.AssertionModule.AD)

type t

module Bounds : ConvBounds with type t = t

val is_bot_env : t -> bool

val env : t -> GobApron.Environment.t

val assert_constraint : 
  Queries.ask ->
  t ->
  GoblintCil.exp ->
  bool ->
  bool Stdlib.Lazy.t ->
  t

val eval_interval : 
  Queries.ask ->
  t ->
  GobApron.Texpr1.t ->
  Z.t option * Z.t option