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