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

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

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

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

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

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

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

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

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

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

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

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