Frama-C API - Abstract1
val is_disjunction : 'a Abstract1.t -> boolval of_disjunction : 'a t Abstract1.t -> 'b Abstract1.tval to_disjunction : 'a Abstract1.t -> 'b t Abstract1.t
Frama-C Frama-C Abstract1val is_disjunction : 'a Abstract1.t -> boolval of_disjunction : 'a t Abstract1.t -> 'b Abstract1.tval to_disjunction : 'a Abstract1.t -> 'b t Abstract1.t