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