Parameter AssertionModule.AD

type t
module Bounds : ConvBounds with type t = t
val is_bot_env : t -> bool
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