sig
  type 'a t
  external manager_alloc : 'a Manager.t -> 'a Disjunction.t Manager.t
    = "camlidl_disjunction_ap_disjunction_manager_alloc"
  external manager_decompose : 'a Disjunction.t Manager.t -> 'a Manager.t
    = "camlidl_disjunction_ap_disjunction_manager_decompose"
  external to_lincons0_set :
    'a Disjunction.t Manager.t ->
    'a Disjunction.t Abstract0.t -> Lincons0.t array
    = "camlidl_disjunction_ap_disjunction_to_lincons0_set"
  val to_lincons1_set :
    'a Disjunction.t Manager.t ->
    'a Disjunction.t Abstract1.t -> Lincons1.earray
  external _decompose :
    'a Disjunction.t Manager.t ->
    'a Disjunction.t Abstract0.t -> 'a Abstract0.t array * int
    = "camlidl_disjunction_ap_disjunction__decompose"
  val decompose :
    'a Disjunction.t Manager.t ->
    'a Disjunction.t Abstract0.t -> 'a Abstract0.t array
  external compose :
    'a Disjunction.t Manager.t ->
    'a Abstract0.t array -> 'a Disjunction.t Abstract0.t
    = "camlidl_disjunction_ap_disjunction_compose"
  val manager_is_disjunction : 'a Manager.t -> bool
  val manager_of_disjunction : 'a Disjunction.t Manager.t -> 'b Manager.t
  val manager_to_disjunction : 'a Manager.t -> 'b Disjunction.t Manager.t
  module Abstract0 :
    sig
      val is_disjunction : 'a Abstract0.t -> bool
      val of_disjunction : 'a Disjunction.t Abstract0.t -> 'b Abstract0.t
      val to_disjunction : 'a Abstract0.t -> 'b Disjunction.t Abstract0.t
    end
  module Abstract1 :
    sig
      val is_disjunction : 'a Abstract1.t -> bool
      val of_disjunction : 'a Disjunction.t Abstract1.t -> 'b Abstract1.t
      val to_disjunction : 'a Abstract1.t -> 'b Disjunction.t Abstract1.t
    end
end