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