sig
  type 'a man
  and 'a t
  external manager_get_manager : 'a Apron.Policy.man -> 'a Apron.Manager.t
    = "camlidl_policy_ap_policy_manager_get_manager"
  external manager : 'a Apron.Policy.t -> 'a Apron.Policy.man
    = "camlidl_policy_ap_policy_manager"
  external copy :
    'a Apron.Policy.man -> 'a Apron.Policy.t -> 'a Apron.Policy.t
    = "camlidl_policy_ap_policy_copy"
  external fdump : 'a Apron.Policy.man -> 'a Apron.Policy.t -> unit
    = "camlidl_policy_ap_policy_fdump"
  external to_string : 'a Apron.Policy.man -> 'a Apron.Policy.t -> string
    = "camlidl_policy_ap_policy_to_string"
  external dimension : 'a Apron.Policy.man -> 'a Apron.Policy.t -> int
    = "camlidl_policy_ap_policy_dimension"
  external equal :
    'a Apron.Policy.man -> 'a Apron.Policy.t -> 'a Apron.Policy.t -> bool
    = "camlidl_policy_ap_policy_equal"
  module Abstract0 :
    sig
      external meet_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t -> 'a Apron.Abstract0.t -> 'a Apron.Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_apply"
      external meet_array_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t array -> 'a Apron.Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_array_apply"
      external meet_lincons_array_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t ->
        Apron.Lincons0.t array -> 'a Apron.Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_lincons_array_apply"
      external meet_tcons_array_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t -> Apron.Tcons0.t array -> 'a Apron.Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_tcons_array_apply"
      external meet_with_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t -> 'a Apron.Abstract0.t -> unit
        = "camlidl_policy_ap_abstract0_policy_meet_with_apply"
      external meet_lincons_array_with_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t -> Apron.Lincons0.t array -> unit
        = "camlidl_policy_ap_abstract0_policy_meet_lincons_array_with_apply"
      external meet_tcons_array_with_apply :
        'a Apron.Policy.man ->
        'a Apron.Policy.t ->
        'a Apron.Abstract0.t -> Apron.Tcons0.t array -> unit
        = "camlidl_policy_ap_abstract0_policy_meet_tcons_array_with_apply"
      external meet_improve :
        'a Apron.Policy.man ->
        'a Apron.Policy.t option ->
        'a Apron.Abstract0.t -> 'a Apron.Abstract0.t -> 'a Apron.Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_improve"
      external meet_array_improve :
        'a Apron.Policy.man ->
        'a Apron.Policy.t option ->
        'a Apron.Abstract0.t array -> 'a Apron.Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_array_improve"
      external meet_lincons_array_improve :
        'a Apron.Policy.man ->
        'a Apron.Policy.t option ->
        'a Apron.Abstract0.t -> Apron.Lincons0.t array -> 'a Apron.Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_lincons_array_improve"
      external meet_tcons_array_improve :
        'a Apron.Policy.man ->
        'a Apron.Policy.t option ->
        'a Apron.Abstract0.t -> Apron.Tcons0.t array -> 'a Apron.Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_tcons_array_improve"
    end
  module Abstract1 :
    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
end