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"
  val manager_is_ppl : 'a Apron.Manager.t -> bool
  val manager_is_ppl_loose : 'a Apron.Manager.t -> bool
  val manager_is_ppl_strict : 'a Apron.Manager.t -> bool
  val manager_is_ppl_grid : 'a Apron.Manager.t -> bool
  val manager_of_ppl : 'a Ppl.t Apron.Manager.t -> 'b Apron.Manager.t
  val manager_of_ppl_loose :
    Ppl.loose Ppl.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_of_ppl_strict :
    Ppl.strict Ppl.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_of_ppl_grid :
    Ppl.grid Ppl.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_to_ppl : 'a Apron.Manager.t -> 'b Ppl.t Apron.Manager.t
  val manager_to_ppl_loose :
    'a Apron.Manager.t -> Ppl.loose Ppl.t Apron.Manager.t
  val manager_to_ppl_strict :
    'a Apron.Manager.t -> Ppl.strict Ppl.t Apron.Manager.t
  val manager_to_ppl_grid :
    'a Apron.Manager.t -> Ppl.grid Ppl.t Apron.Manager.t
  module Abstract0 :
    sig
      val is_ppl : 'a Apron.Abstract0.t -> bool
      val is_ppl_loose : 'a Apron.Abstract0.t -> bool
      val is_ppl_strict : 'a Apron.Abstract0.t -> bool
      val is_ppl_grid : 'a Apron.Abstract0.t -> bool
      val of_ppl : 'a Ppl.t Apron.Abstract0.t -> 'b Apron.Abstract0.t
      val of_ppl_loose :
        Ppl.loose Ppl.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val of_ppl_strict :
        Ppl.strict Ppl.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val of_ppl_grid :
        Ppl.grid Ppl.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val to_ppl : 'a Apron.Abstract0.t -> 'b Ppl.t Apron.Abstract0.t
      val to_ppl_loose :
        'a Apron.Abstract0.t -> Ppl.loose Ppl.t Apron.Abstract0.t
      val to_ppl_strict :
        'a Apron.Abstract0.t -> Ppl.strict Ppl.t Apron.Abstract0.t
      val to_ppl_grid :
        'a Apron.Abstract0.t -> Ppl.grid Ppl.t Apron.Abstract0.t
    end
  module Abstract1 :
    sig
      val is_ppl : 'a Apron.Abstract1.t -> bool
      val is_ppl_loose : 'a Apron.Abstract1.t -> bool
      val is_ppl_strict : 'a Apron.Abstract1.t -> bool
      val is_ppl_grid : 'a Apron.Abstract1.t -> bool
      val of_ppl : 'a Ppl.t Apron.Abstract1.t -> 'b Apron.Abstract1.t
      val of_ppl_loose :
        Ppl.loose Ppl.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val of_ppl_strict :
        Ppl.strict Ppl.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val of_ppl_grid :
        Ppl.grid Ppl.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val to_ppl : 'a Apron.Abstract1.t -> 'b Ppl.t Apron.Abstract1.t
      val to_ppl_loose :
        'a Apron.Abstract1.t -> Ppl.loose Ppl.t Apron.Abstract1.t
      val to_ppl_strict :
        'a Apron.Abstract1.t -> Ppl.strict Ppl.t Apron.Abstract1.t
      val to_ppl_grid :
        'a Apron.Abstract1.t -> Ppl.grid Ppl.t Apron.Abstract1.t
    end
end