Frama-C API - Abstract1
val meet_apply : 'a man -> 'a t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.tval meet_array_apply : 'a man -> 'a t -> 'a Abstract1.t array -> 'a Abstract1.tval meet_lincons_array_apply : 'a man -> 'a t -> 'a Abstract1.t -> Lincons1.earray -> 'a Abstract1.tval meet_tcons_array_apply : 'a man -> 'a t -> 'a Abstract1.t -> Tcons1.earray -> 'a Abstract1.tval meet_with_apply : 'a man -> 'a t -> 'a Abstract1.t -> 'a Abstract1.t -> unitval meet_lincons_array_with_apply : 'a man -> 'a t -> 'a Abstract1.t -> Lincons1.earray -> unitval meet_tcons_array_with_apply : 'a man -> 'a t -> 'a Abstract1.t -> Tcons1.earray -> unitval meet_improve : 'a man -> 'a t option -> 'a Abstract1.t -> 'a Abstract1.t -> 'a tval meet_array_improve : 'a man -> 'a t option -> 'a Abstract1.t array -> 'a tval meet_lincons_array_improve : 'a man -> 'a t option -> 'a Abstract1.t -> Lincons1.earray -> 'a tval meet_tcons_array_improve : 'a man -> 'a t option -> 'a Abstract1.t -> Tcons1.earray -> 'a t