package apron

  1. Overview
  2. Docs
val is_disjunction : 'a Abstract0.t -> bool
val of_disjunction : 'a t Abstract0.t -> 'b Abstract0.t
val to_disjunction : 'a Abstract0.t -> 'b t Abstract0.t
OCaml

Innovation. Community. Security.