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