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