Abstract1 (frama-c-eva.Fc_internal_apron.Policy.Abstract1)

val meet_apply : 
  'a man ->
  'a t ->
  'a Abstract1.t ->
  'a Abstract1.t ->
  'a Abstract1.t

val meet_array_apply : 'a man -> 'a t -> 'a Abstract1.t array -> 'a Abstract1.t

val meet_lincons_array_apply : 
  'a man ->
  'a t ->
  'a Abstract1.t ->
  Lincons1.earray ->
  'a Abstract1.t

val meet_tcons_array_apply : 
  'a man ->
  'a t ->
  'a Abstract1.t ->
  Tcons1.earray ->
  'a Abstract1.t

val meet_with_apply : 
  'a man ->
  'a t ->
  'a Abstract1.t ->
  'a Abstract1.t ->
  unit

val meet_lincons_array_with_apply : 
  'a man ->
  'a t ->
  'a Abstract1.t ->
  Lincons1.earray ->
  unit

val meet_tcons_array_with_apply : 
  'a man ->
  'a t ->
  'a Abstract1.t ->
  Tcons1.earray ->
  unit

val meet_improve : 
  'a man ->
  'a t option ->
  'a Abstract1.t ->
  'a Abstract1.t ->
  'a t

val meet_array_improve : 'a man -> 'a t option -> 'a Abstract1.t array -> 'a t

val meet_lincons_array_improve : 
  'a man ->
  'a t option ->
  'a Abstract1.t ->
  Lincons1.earray ->
  'a t

val meet_tcons_array_improve : 
  'a man ->
  'a t option ->
  'a Abstract1.t ->
  Tcons1.earray ->
  'a t