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) ->
    Stdlib.Format.formatter -> Box.t Apron.Policy.t -> unit
  val print0 : Stdlib.Format.formatter -> Box.t Apron.Policy.t -> unit
  val print1 :
    Apron.Environment.t ->
    Stdlib.Format.formatter -> Box.t Apron.Policy.t -> unit
end