sig
  type internal
  type loose
  type strict
  type equalities
  type 'a t
  external manager_alloc_loose : unit -> Polka.loose Polka.t Apron.Manager.t
    = "camlidl_polka_pk_manager_alloc_loose"
  external manager_alloc_strict :
    unit -> Polka.strict Polka.t Apron.Manager.t
    = "camlidl_polka_pk_manager_alloc_strict"
  external manager_alloc_equalities :
    unit -> Polka.equalities Polka.t Apron.Manager.t
    = "camlidl_polka_pk_manager_alloc_equalities"
  external manager_get_internal :
    'a Polka.t Apron.Manager.t -> Polka.internal
    = "camlidl_polka_manager_get_internal"
  external set_max_coeff_size : Polka.internal -> int -> unit
    = "camlidl_polka_pk_set_max_coeff_size"
  external set_approximate_max_coeff_size : Polka.internal -> int -> unit
    = "camlidl_polka_pk_set_approximate_max_coeff_size"
  external get_max_coeff_size : Polka.internal -> int
    = "camlidl_polka_pk_get_max_coeff_size"
  external get_approximate_max_coeff_size : Polka.internal -> int
    = "camlidl_polka_pk_get_approximate_max_coeff_size"
  val manager_is_polka : 'a Apron.Manager.t -> bool
  val manager_is_polka_loose : 'a Apron.Manager.t -> bool
  val manager_is_polka_strict : 'a Apron.Manager.t -> bool
  val manager_is_polka_equalities : 'a Apron.Manager.t -> bool
  val manager_of_polka : 'a Polka.t Apron.Manager.t -> 'b Apron.Manager.t
  val manager_of_polka_loose :
    Polka.loose Polka.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_of_polka_strict :
    Polka.strict Polka.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_of_polka_equalities :
    Polka.equalities Polka.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_to_polka : 'a Apron.Manager.t -> 'b Polka.t Apron.Manager.t
  val manager_to_polka_loose :
    'a Apron.Manager.t -> Polka.loose Polka.t Apron.Manager.t
  val manager_to_polka_strict :
    'a Apron.Manager.t -> Polka.strict Polka.t Apron.Manager.t
  val manager_to_polka_equalities :
    'a Apron.Manager.t -> Polka.equalities Polka.t Apron.Manager.t
  module Abstract0 :
    sig
      val is_polka : 'a Apron.Abstract0.t -> bool
      val is_polka_loose : 'a Apron.Abstract0.t -> bool
      val is_polka_strict : 'a Apron.Abstract0.t -> bool
      val is_polka_equalities : 'a Apron.Abstract0.t -> bool
      val of_polka : 'a Polka.t Apron.Abstract0.t -> 'b Apron.Abstract0.t
      val of_polka_loose :
        Polka.loose Polka.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val of_polka_strict :
        Polka.strict Polka.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val of_polka_equalities :
        Polka.equalities Polka.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val to_polka : 'a Apron.Abstract0.t -> 'b Polka.t Apron.Abstract0.t
      val to_polka_loose :
        'a Apron.Abstract0.t -> Polka.loose Polka.t Apron.Abstract0.t
      val to_polka_strict :
        'a Apron.Abstract0.t -> Polka.strict Polka.t Apron.Abstract0.t
      val to_polka_equalities :
        'a Apron.Abstract0.t -> Polka.equalities Polka.t Apron.Abstract0.t
    end
  module Abstract1 :
    sig
      val is_polka : 'a Apron.Abstract1.t -> bool
      val is_polka_loose : 'a Apron.Abstract1.t -> bool
      val is_polka_strict : 'a Apron.Abstract1.t -> bool
      val is_polka_equalities : 'a Apron.Abstract1.t -> bool
      val of_polka : 'a Polka.t Apron.Abstract1.t -> 'b Apron.Abstract1.t
      val of_polka_loose :
        Polka.loose Polka.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val of_polka_strict :
        Polka.strict Polka.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val of_polka_equalities :
        Polka.equalities Polka.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val to_polka : 'a Apron.Abstract1.t -> 'b Polka.t Apron.Abstract1.t
      val to_polka_loose :
        'a Apron.Abstract1.t -> Polka.loose Polka.t Apron.Abstract1.t
      val to_polka_strict :
        'a Apron.Abstract1.t -> Polka.strict Polka.t Apron.Abstract1.t
      val to_polka_equalities :
        'a Apron.Abstract1.t -> Polka.equalities Polka.t Apron.Abstract1.t
    end
end