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