sig
  type internal
  type t
  external manager_alloc : unit -> Oct.t Apron.Manager.t
    = "camlidl_oct_oct_manager_alloc"
  external manager_get_internal : Oct.t Apron.Manager.t -> Oct.internal
    = "camlidl_oct_manager_get_internal"
  external of_generator_array :
    Oct.t Apron.Manager.t ->
    int -> int -> Apron.Generator0.t array -> Oct.t Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_of_generator_array"
  external widening_thresholds :
    Oct.t Apron.Manager.t ->
    Oct.t Apron.Abstract0.t ->
    Oct.t Apron.Abstract0.t ->
    Apron.Scalar.t array -> Oct.t Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_widening_thresholds"
  external narrowing :
    Oct.t Apron.Manager.t ->
    Oct.t Apron.Abstract0.t ->
    Oct.t Apron.Abstract0.t -> Oct.t Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_narrowing"
  external add_epsilon :
    Oct.t Apron.Manager.t ->
    Oct.t Apron.Abstract0.t -> Apron.Scalar.t -> Oct.t Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_add_epsilon"
  external add_epsilon_bin :
    Oct.t Apron.Manager.t ->
    Oct.t Apron.Abstract0.t ->
    Oct.t Apron.Abstract0.t -> Apron.Scalar.t -> Oct.t Apron.Abstract0.t
    = "camlidl_oct_ap_abstract0_oct_add_epsilon_bin"
  val pre_widening : int
  val manager_is_oct : 'a Apron.Manager.t -> bool
  val manager_of_oct : Oct.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_to_oct : 'a Apron.Manager.t -> Oct.t Apron.Manager.t
  module Abstract0 :
    sig
      val is_oct : 'a Apron.Abstract0.t -> bool
      val of_oct : Oct.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val to_oct : 'a Apron.Abstract0.t -> Oct.t Apron.Abstract0.t
    end
  module Abstract1 :
    sig
      val is_oct : 'a Apron.Abstract1.t -> bool
      val of_oct : Oct.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val to_oct : 'a Apron.Abstract1.t -> Oct.t Apron.Abstract1.t
    end
end