sig
  val is_disjunction : 'a Apron.Abstract1.t -> bool
  val of_disjunction :
    'a Apron.Disjunction.t Apron.Abstract1.t -> 'b Apron.Abstract1.t
  val to_disjunction :
    'a Apron.Abstract1.t -> 'b Apron.Disjunction.t Apron.Abstract1.t
end