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