sig
  type 'a man
  and 'a t
  external manager_get_manager : 'a Policy.man -> 'a Manager.t
    = "camlidl_policy_ap_policy_manager_get_manager"
  external manager : 'a Policy.t -> 'a Policy.man
    = "camlidl_policy_ap_policy_manager"
  external copy : 'a Policy.man -> 'a Policy.t -> 'a Policy.t
    = "camlidl_policy_ap_policy_copy"
  external fdump : 'a Policy.man -> 'a Policy.t -> unit
    = "camlidl_policy_ap_policy_fdump"
  external to_string : 'a Policy.man -> 'a Policy.t -> string
    = "camlidl_policy_ap_policy_to_string"
  external dimension : 'a Policy.man -> 'a Policy.t -> int
    = "camlidl_policy_ap_policy_dimension"
  external equal : 'a Policy.man -> 'a Policy.t -> 'a Policy.t -> bool
    = "camlidl_policy_ap_policy_equal"
  module Abstract0 :
    sig
      external meet_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t -> 'a Abstract0.t -> 'a Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_apply"
      external meet_array_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t array -> 'a Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_array_apply"
      external meet_lincons_array_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t -> Lincons0.t array -> 'a Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_lincons_array_apply"
      external meet_tcons_array_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t -> Tcons0.t array -> 'a Abstract0.t
        = "camlidl_policy_ap_abstract0_policy_meet_tcons_array_apply"
      external meet_with_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t -> 'a Abstract0.t -> unit
        = "camlidl_policy_ap_abstract0_policy_meet_with_apply"
      external meet_lincons_array_with_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t -> Lincons0.t array -> unit
        = "camlidl_policy_ap_abstract0_policy_meet_lincons_array_with_apply"
      external meet_tcons_array_with_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract0.t -> Tcons0.t array -> unit
        = "camlidl_policy_ap_abstract0_policy_meet_tcons_array_with_apply"
      external meet_improve :
        'a Policy.man ->
        'a Policy.t option -> 'a Abstract0.t -> 'a Abstract0.t -> 'a Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_improve"
      external meet_array_improve :
        'a Policy.man ->
        'a Policy.t option -> 'a Abstract0.t array -> 'a Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_array_improve"
      external meet_lincons_array_improve :
        'a Policy.man ->
        'a Policy.t option ->
        'a Abstract0.t -> Lincons0.t array -> 'a Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_lincons_array_improve"
      external meet_tcons_array_improve :
        'a Policy.man ->
        'a Policy.t option -> 'a Abstract0.t -> Tcons0.t array -> 'a Policy.t
        = "camlidl_policy_ap_abstract0_policy_meet_tcons_array_improve"
    end
  module Abstract1 :
    sig
      external meet_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Abstract1.t
        = "camlidl_policy_ap_abstract1_policy_meet_apply"
      external meet_array_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t array -> 'a Abstract1.t
        = "camlidl_policy_ap_abstract1_policy_meet_array_apply"
      external meet_lincons_array_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t -> Lincons1.earray -> 'a Abstract1.t
        = "camlidl_policy_ap_abstract1_policy_meet_lincons_array_apply"
      external meet_tcons_array_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t -> Tcons1.earray -> 'a Abstract1.t
        = "camlidl_policy_ap_abstract1_policy_meet_tcons_array_apply"
      external meet_with_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t -> 'a Abstract1.t -> unit
        = "camlidl_policy_ap_abstract1_policy_meet_with_apply"
      external meet_lincons_array_with_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t -> Lincons1.earray -> unit
        = "camlidl_policy_ap_abstract1_policy_meet_lincons_array_with_apply"
      external meet_tcons_array_with_apply :
        'a Policy.man ->
        'a Policy.t -> 'a Abstract1.t -> Tcons1.earray -> unit
        = "camlidl_policy_ap_abstract1_policy_meet_tcons_array_with_apply"
      external meet_improve :
        'a Policy.man ->
        'a Policy.t option -> 'a Abstract1.t -> 'a Abstract1.t -> 'a Policy.t
        = "camlidl_policy_ap_abstract1_policy_meet_improve"
      external meet_array_improve :
        'a Policy.man ->
        'a Policy.t option -> 'a Abstract1.t array -> 'a Policy.t
        = "camlidl_policy_ap_abstract1_policy_meet_array_improve"
      external meet_lincons_array_improve :
        'a Policy.man ->
        'a Policy.t option ->
        'a Abstract1.t -> Lincons1.earray -> 'a Policy.t
        = "camlidl_policy_ap_abstract1_policy_meet_lincons_array_improve"
      external meet_tcons_array_improve :
        'a Policy.man ->
        'a Policy.t option -> 'a Abstract1.t -> Tcons1.earray -> 'a Policy.t
        = "camlidl_policy_ap_abstract1_policy_meet_tcons_array_improve"
    end
end