Module Apron.Policy.Abstract0

module Abstract0: sig .. end

val meet_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t ->
       'a Apron.Abstract0.t -> 'a Apron.Abstract0.t -> 'a Apron.Abstract0.t

val meet_array_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t -> 'a Apron.Abstract0.t array -> 'a Apron.Abstract0.t

val meet_lincons_array_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t ->
       'a Apron.Abstract0.t -> Apron.Lincons0.t array -> 'a Apron.Abstract0.t

val meet_tcons_array_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t ->
       'a Apron.Abstract0.t -> Apron.Tcons0.t array -> 'a Apron.Abstract0.t

val meet_with_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t -> 'a Apron.Abstract0.t -> 'a Apron.Abstract0.t -> unit

val meet_lincons_array_with_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t -> 'a Apron.Abstract0.t -> Apron.Lincons0.t array -> unit

val meet_tcons_array_with_apply : 'a Apron.Policy.man ->
       'a Apron.Policy.t -> 'a Apron.Abstract0.t -> Apron.Tcons0.t array -> unit

val meet_improve : 'a Apron.Policy.man ->
       'a Apron.Policy.t option ->
       'a Apron.Abstract0.t -> 'a Apron.Abstract0.t -> 'a Apron.Policy.t

val meet_array_improve : 'a Apron.Policy.man ->
       'a Apron.Policy.t option -> 'a Apron.Abstract0.t array -> 'a Apron.Policy.t

val meet_lincons_array_improve : 'a Apron.Policy.man ->
       'a Apron.Policy.t option ->
       'a Apron.Abstract0.t -> Apron.Lincons0.t array -> 'a Apron.Policy.t

val meet_tcons_array_improve : 'a Apron.Policy.man ->
       'a Apron.Policy.t option ->
       'a Apron.Abstract0.t -> Apron.Tcons0.t array -> 'a Apron.Policy.t