sig
  type 'a t
  external manager_alloc :
    'Polka.t Apron.Manager.t ->
    Ppl.grid Ppl.t Apron.Manager.t -> 'PolkaGrid.t Apron.Manager.t
    = "camlidl_polkaGrid_ap_pkgrid_manager_alloc"
  external manager_decompose :
    'PolkaGrid.t Apron.Manager.t ->
    'Polka.t Apron.Manager.t * Ppl.grid Ppl.t Apron.Manager.t
    = "camlidl_polkaGrid_ap_pkgrid_manager_decompose"
&nbsq;.nbsp;external decompose :
    'PolkaGrid.t Apron.Abstract0.t ->
    'Polka.t Apron.Abstract0.t * Ppl.grid Ppl.t Apron.Abstract0.t
    = "camlidl_polkaGrid_ap_pkgrid_decompose"
  external compose :
    'PolkaGrid.t Apron.Manager.t ->
    'Polka.t Apron.Abstract0.t ->
    Ppl.grid Ppl.t Apron.Abstract0.t -> 'PolkaGrid.t Apron.Abstract0.t
    = "camlidl_polkaGrid_ap_pkgrid_compose"
  val manager_is_polkagrid : 'Apron.Manager.t -> bool
  val manager_of_polkagrid :
    'PolkaGrid.t Apron.Manager.t -> 'Apron.Manager.t
  val manager_to_polkagrid :
    'Apron.Manager.t -> 'PolkaGrid.t Apron.Manager.t
  module Abstract0 :
    sig
      val is_polkagrid : 'Apron.Abstract0.t -> bool
      val of_polkagrid :
        'PolkaGrid.t Apron.Abstract0.t -> 'Apron.Abstract0.t
      val to_polkagrid :
        'Apron.Abstract0.t -> 'PolkaGrid.t Apron.Abstract0.t
    end
  module Abstract1 :
    sig
      val is_polkagrid : 'Apron.Abstract1.t -> bool
      val of_polkagrid :
        'PolkaGrid.t Apron.Abstract1.t -> 'Apron.Abstract1.t
      val to_polkagrid :
        'Apron.Abstract1.t -> 'PolkaGrid.t Apron.Abstract1.t
    end
end