sig type t external manager_alloc : unit -> T1p.t Apron.Manager.t = "camlidl_t1p_t1p_manager_alloc" end