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"
end