package apron

  1. Overview
  2. Docs
val meet_apply : 'a man -> 'a t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
val meet_array_apply : 'a man -> 'a t -> 'a Abstract1.t array -> 'a Abstract1.t
val meet_lincons_array_apply : 'a man -> 'a t -> 'a Abstract1.t -> Lincons1.earray -> 'a Abstract1.t
val meet_tcons_array_apply : 'a man -> 'a t -> 'a Abstract1.t -> Tcons1.earray -> 'a Abstract1.t
val meet_with_apply : 'a man -> 'a t -> 'a Abstract1.t -> 'a Abstract1.t -> unit
val meet_lincons_array_with_apply : 'a man -> 'a t -> 'a Abstract1.t -> Lincons1.earray -> unit
val meet_tcons_array_with_apply : 'a man -> 'a t -> 'a Abstract1.t -> Tcons1.earray -> unit
val meet_improve : 'a man -> 'a t option -> 'a Abstract1.t -> 'a Abstract1.t -> 'a t
val meet_array_improve : 'a man -> 'a t option -> 'a Abstract1.t array -> 'a t
val meet_lincons_array_improve : 'a man -> 'a t option -> 'a Abstract1.t -> Lincons1.earray -> 'a t
val meet_tcons_array_improve : 'a man -> 'a t option -> 'a Abstract1.t -> Tcons1.earray -> 'a t
OCaml

Innovation. Community. Security.