sig type t external manager_alloc : unit -> Box.t Apron.Manager.t = "camlidl_box_box_manager_alloc" end