Frama-C API - Abstract0
val meet_apply : 'a man -> 'a t -> 'a Abstract0.t -> 'a Abstract0.t -> 'a Abstract0.tval meet_array_apply : 'a man -> 'a t -> 'a Abstract0.t array -> 'a Abstract0.tval meet_lincons_array_apply : 'a man -> 'a t -> 'a Abstract0.t -> Lincons0.t array -> 'a Abstract0.tval meet_tcons_array_apply : 'a man -> 'a t -> 'a Abstract0.t -> Tcons0.t array -> 'a Abstract0.tval meet_with_apply : 'a man -> 'a t -> 'a Abstract0.t -> 'a Abstract0.t -> unitval meet_lincons_array_with_apply : 'a man -> 'a t -> 'a Abstract0.t -> Lincons0.t array -> unitval meet_tcons_array_with_apply : 'a man -> 'a t -> 'a Abstract0.t -> Tcons0.t array -> unitval meet_improve : 'a man -> 'a t option -> 'a Abstract0.t -> 'a Abstract0.t -> 'a tval meet_array_improve : 'a man -> 'a t option -> 'a Abstract0.t array -> 'a tval meet_lincons_array_improve : 'a man -> 'a t option -> 'a Abstract0.t -> Lincons0.t array -> 'a tval meet_tcons_array_improve : 'a man -> 'a t option -> 'a Abstract0.t -> Tcons0.t array -> 'a t