sig
  type internal
  external manager_alloc : unit -> Apron.Manager.t
    = "camlidl_oct_oct_manager_alloc"
  external manager_get_internal : Apron.Manager.t -> Oct.internal
    = "camlidl_oct_manager_get_internal"
  external of_generator_array :
    Apron.Manager.t ->
    int -> int -> Apron.Generator0.t array -> Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_of_generator_array"
  external widening_thresholds :
    Apron.Manager.t ->
    Apron.Abstract0.t ->
    Apron.Abstract0.t -> Apron.Scalar.t array -> Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_widening_thresholds"
  external narrowing :
    Apron.Manager.t ->
    Apron.Abstract0.t -> Apron.Abstract0.t -> Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_narrowing"
  external add_epsilon :
    Apron.Manager.t ->
    Apron.Abstract0.t -> Apron.Scalar.t -> Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_add_epsilon"
  external add_epsilon_bin :
    Apron.Manager.t ->
    Apron.Abstract0.t ->
    Apron.Abstract0.t -> Apron.Scalar.t -> Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_add_epsilon_bin"
  val pre_widening : int
end