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