sig
  type internal
  external manager_alloc : bool -> Apron.Manager.t
    = "camlidl_polka_pk_manager_alloc"
  external manager_get_internal : 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"
end