sig
  type loose
  type strict
  type grid
  type 'a t
  external manager_alloc_loose : unit -> Ppl.loose Ppl.t Apron.Manager.t
    = "camlidl_ppl_ap_ppl_manager_alloc_loose"
  external manager_alloc_strict : unit -> Ppl.strict Ppl.t Apron.Manager.t
    = "camlidl_ppl_ap_ppl_manager_alloc_strict"
  external manager_alloc_grid : unit -> Ppl.grid Ppl.t Apron.Manager.t
    = "camlidl_ppl_ap_ppl_manager_alloc_grid"
end