sig
  external meet_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t
    = "camlidl_policy_ap_abstract1_policy_meet_apply"
  external meet_array_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t -> 'a Apron.Abstract1.t array -> 'a Apron.Abstract1.t
    = "camlidl_policy_ap_abstract1_policy_meet_array_apply"
  external meet_lincons_array_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t ->
    'a Apron.Abstract1.t -> Apron.Lincons1.earray -> 'a Apron.Abstract1.t
    = "camlidl_policy_ap_abstract1_policy_meet_lincons_array_apply"
  external meet_tcons_array_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t ->
    'a Apron.Abstract1.t -> Apron.Tcons1.earray -> 'a Apron.Abstract1.t
    = "camlidl_policy_ap_abstract1_policy_meet_tcons_array_apply"
  external meet_with_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t -> 'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> unit
    = "camlidl_policy_ap_abstract1_policy_meet_with_apply"
  external meet_lincons_array_with_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t ->
    'a Apron.Abstract1.t -> Apron.Lincons1.earray -> unit
    = "camlidl_policy_ap_abstract1_policy_meet_lincons_array_with_apply"
  external meet_tcons_array_with_apply :
    'a Apron.Policy.man ->
    'a Apron.Policy.t -> 'a Apron.Abstract1.t -> Apron.Tcons1.earray -> unit
    = "camlidl_policy_ap_abstract1_policy_meet_tcons_array_with_apply"
  external meet_improve :
    'a Apron.Policy.man ->
    'a Apron.Policy.t option ->
    'a Apron.Abstract1.t -> 'a Apron.Abstract1.t -> 'a Apron.Policy.t
    = "camlidl_policy_ap_abstract1_policy_meet_improve"
  external meet_array_improve :
    'a Apron.Policy.man ->
    'a Apron.Policy.t option ->
    'a Apron.Abstract1.t array -> 'a Apron.Policy.t
    = "camlidl_policy_ap_abstract1_policy_meet_array_improve"
  external meet_lincons_array_improve :
    'a Apron.Policy.man ->
    'a Apron.Policy.t option ->
    'a Apron.Abstract1.t -> Apron.Lincons1.earray -> 'a Apron.Policy.t
    = "camlidl_policy_ap_abstract1_policy_meet_lincons_array_improve"
  external meet_tcons_array_improve :
    'a Apron.Policy.man ->
    'a Apron.Policy.t option ->
    'a Apron.Abstract1.t -> Apron.Tcons1.earray -> 'a Apron.Policy.t
    = "camlidl_policy_ap_abstract1_policy_meet_tcons_array_improve"
end