sig
  val is_oct : 'a Apron.Abstract0.t -> bool
  val of_oct : Oct.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
  val to_oct : 'a Apron.Abstract0.t -> Oct.t Apron.Abstract0.t
end