ApronDomain.Manager
type mt
type t = mt Apron.Manager.t
val mgr : mt Apron.Manager.t
val name : unit -> string