Module type `SharedFunctions.AssertionRelS`

A more specific module type for RelationDomain.RelD2 with various apron elements. It is designed to be the interface for the D2 modules in affineEqualityDomain and apronDomain and serves as a functor argument for AssertionModule.

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