OctagonD.Man
type mt = OctagonManager.mt
type t = mt Apron.Manager.t
val mgr : mt Apron.Manager.t
val name : unit -> string