module Abstract0: sig .. end
val meet_apply : 'a Policy.man ->
'a Policy.t -> 'a Abstract0.t -> 'a Abstract0.t -> 'a Abstract0.t
val meet_array_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract0.t array -> 'a Abstract0.t
val meet_lincons_array_apply : 'a Policy.man ->
'a Policy.t -> 'a Abstract0.t -> Lincons0.t array -> 'a Abstract0.t
val meet_tcons_array_apply : 'a Policy.man ->
'a Policy.t -> 'a Abstract0.t -> Tcons0.t array -> 'a Abstract0.t
val meet_with_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract0.t -> 'a Abstract0.t -> unit
val meet_lincons_array_with_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract0.t -> Lincons0.t array -> unit
val meet_tcons_array_with_apply : 'a Policy.man -> 'a Policy.t -> 'a Abstract0.t -> Tcons0.t array -> unit
val meet_improve : 'a Policy.man ->
'a Policy.t option -> 'a Abstract0.t -> 'a Abstract0.t -> 'a Policy.t
val meet_array_improve : 'a Policy.man -> 'a Policy.t option -> 'a Abstract0.t array -> 'a Policy.t
val meet_lincons_array_improve : 'a Policy.man ->
'a Policy.t option -> 'a Abstract0.t -> Lincons0.t array -> 'a Policy.t
val meet_tcons_array_improve : 'a Policy.man ->
'a Policy.t option -> 'a Abstract0.t -> Tcons0.t array -> 'a Policy.t