module Abstract1: sig .. end
val meet_apply : 'a Policy.man ->
'a Policy.t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
val meet_array_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract1.t array -> 'a Abstract1.t
val meet_lincons_array_apply : 'a Policy.man ->
'a Policy.t -> 'a Abstract1.t -> Lincons1.earray -> 'a Abstract1.t
val meet_tcons_array_apply : 'a Policy.man ->
'a Policy.t -> 'a Abstract1.t -> Tcons1.earray -> 'a Abstract1.t
val meet_with_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract1.t -> 'a Abstract1.t -> unit
val meet_lincons_array_with_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract1.t -> Lincons1.earray -> unit
val meet_tcons_array_with_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract1.t -> Tcons1.earray -> unit
val meet_improve : 'a Policy.man ->
'a Policy.t option -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Policy.t
val meet_array_improve : 'a Policy.man -> 'a Policy.t option -> 'a Abstract1.t array -> 'a Policy.t
val meet_lincons_array_improve : 'a Policy.man ->
'a Policy.t option -> 'a Abstract1.t -> Lincons1.earray -> 'a Policy.t
val meet_tcons_array_improve : 'a Policy.man ->
'a Policy.t option -> 'a Abstract1.t -> Tcons1.earray -> 'a Policy.t