Module Apron.Policy.Abstract1

module Abstract1: sig .. end

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