sig
  type t
  external manager_alloc : unit -> Box.t Apron.Manager.t
    = "camlidl_box_box_manager_alloc"
  val manager_is_box : 'a Apron.Manager.t -> bool
  val manager_of_box : Box.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_to_box : 'a Apron.Manager.t -> Box.t Apron.Manager.t
  module Abstract0 :
    sig
      val is_box : 'a Apron.Abstract0.t -> bool
      val of_box : Box.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val to_box : 'a Apron.Abstract0.t -> Box.t Apron.Abstract0.t
    end
  module Abstract1 :
    sig
      val is_box : 'a Apron.Abstract1.t -> bool
      val of_box : Box.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val to_box : 'a Apron.Abstract1.t -> Box.t Apron.Abstract1.t
    end
  module Policy :
    sig
      val is_box : 'a Apron.Policy.t -> bool
      val of_box : Box.t Apron.Policy.t -> 'a Apron.Policy.t
      val to_box : 'a Apron.Policy.t -> Box.t Apron.Policy.t
      val print :
        (int -> string) -> Format.formatter -> Box.t Apron.Policy.t -> unit
      val print0 : Format.formatter -> Box.t Apron.Policy.t -> unit
      val print1 :
        Apron.Environment.t ->
        Format.formatter -> Box.t Apron.Policy.t -> unit
    end
  external policy_manager_alloc :
    Box.t Apron.Manager.t -> Box.t Apron.Policy.man
    = "camlidl_box_box_policy_manager_alloc"
end