Module `ApronDomain.AffEqManager`

Another manager for the Polka domain but specifically for affine equalities. For Documentation for the domain see: https://antoinemine.github.io/Apron/doc/api/ocaml/Polka.html

type mt = Polka.equalities Polka.t

Affine equalities in apron used for comparison with our own implementation

type t = mt Goblint_lib__.GobApron.Manager.t

val mgr : Polka.equalities Polka.t Apron.Manager.t

val name : unit -> string