ApronDomain.IntervalManager
Manager for the Box domain, i.e. an interval domain. For Documentation for the domain see: https://antoinemine.github.io/Apron/doc/api/ocaml/Box.html
type mt = Box.t
type t = mt Goblint_lib__.GobApron.Manager.t
val mgr : Box.t Apron.Manager.t
val name : unit -> string