package apron

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

Innovation. Community. Security.