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