sig
  type loose
  type strict
  type 'a t
  external manager_alloc_loose :
    unit -> Pplite.loose Pplite.t Apron.Manager.t
    = "camlidl_pplite_ap_pplite_manager_alloc_loose"
  external manager_alloc_strict :
    unit -> Pplite.strict Pplite.t Apron.Manager.t
    = "camlidl_pplite_ap_pplite_manager_alloc_strict"
  external manager_set_kind : 'a Pplite.t Apron.Manager.t -> string -> unit
    = "camlidl_pplite_ap_pplite_manager_set_kind"
  external manager_get_kind : 'a Pplite.t Apron.Manager.t -> string
    = "camlidl_pplite_ap_pplite_manager_get_kind"
  external manager_set_widen_spec :
    'a Pplite.t Apron.Manager.t -> string -> unit
    = "camlidl_pplite_ap_pplite_manager_set_widen_spec"
  external manager_get_widen_spec : 'a Pplite.t Apron.Manager.t -> string
    = "camlidl_pplite_ap_pplite_manager_get_widen_spec"
  external abstract0_split :
    'a Pplite.t Apron.Manager.t ->
    'a Pplite.t Apron.Abstract0.t ->
    Apron.Lincons0.t -> bool -> bool -> 'a Pplite.t Apron.Abstract0.t
    = "camlidl_pplite_ap_pplite_abstract0_split"
  external abstract0_is_disjunctive :
    'a Pplite.t Apron.Manager.t -> 'a Pplite.t Apron.Abstract0.t -> bool
    = "camlidl_pplite_ap_pplite_abstract0_is_disjunctive"
  external abstract0_num_disjuncts :
    'a Pplite.t Apron.Manager.t -> 'a Pplite.t Apron.Abstract0.t -> int
    = "camlidl_pplite_ap_pplite_abstract0_num_disjuncts"
  external abstract0_disj_to_lincons_array :
    'a Pplite.t Apron.Manager.t ->
    'a Pplite.t Apron.Abstract0.t -> int -> Apron.Lincons0.t array
    = "camlidl_pplite_ap_pplite_abstract0_disj_to_lincons_array"
  external abstract0_disj_to_tcons_array :
    'a Pplite.t Apron.Manager.t ->
    'a Pplite.t Apron.Abstract0.t -> int -> Tcons0.t array
    = "camlidl_pplite_ap_pplite_abstract0_disj_to_tcons_array"
  external abstract0_geom_subseteq :
    'a Pplite.t Apron.Manager.t ->
    'a Pplite.t Apron.Abstract0.t -> 'a Pplite.t Apron.Abstract0.t -> bool
    = "camlidl_pplite_ap_pplite_abstract0_geom_subseteq"
  external abstract0_collapse :
    'a Pplite.t Apron.Manager.t ->
    'a Pplite.t Apron.Abstract0.t -> int -> unit
    = "camlidl_pplite_ap_pplite_abstract0_collapse"
  val manager_is_pplite : 'a Apron.Manager.t -> bool
  val manager_is_pplite_loose : 'a Apron.Manager.t -> bool
  val manager_is_pplite_strict : 'a Apron.Manager.t -> bool
  val manager_of_pplite : 'a Pplite.t Apron.Manager.t -> 'b Apron.Manager.t
  val manager_of_pplite_loose :
    Pplite.loose Pplite.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_of_pplite_strict :
    Pplite.strict Pplite.t Apron.Manager.t -> 'a Apron.Manager.t
  val manager_to_pplite : 'a Apron.Manager.t -> 'b Pplite.t Apron.Manager.t
  val manager_to_pplite_loose :
    'a Apron.Manager.t -> Pplite.loose Pplite.t Apron.Manager.t
  val manager_to_pplite_strict :
    'a Apron.Manager.t -> Pplite.strict Pplite.t Apron.Manager.t
  module Abstract0 :
    sig
      val is_pplite : 'a Apron.Abstract0.t -> bool
      val is_pplite_loose : 'a Apron.Abstract0.t -> bool
      val is_pplite_strict : 'a Apron.Abstract0.t -> bool
      val of_pplite : 'a Pplite.t Apron.Abstract0.t -> 'b Apron.Abstract0.t
      val of_pplite_loose :
        Pplite.loose Pplite.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val of_pplite_strict :
        Pplite.strict Pplite.t Apron.Abstract0.t -> 'a Apron.Abstract0.t
      val to_pplite : 'a Apron.Abstract0.t -> 'b Pplite.t Apron.Abstract0.t
      val to_pplite_loose :
        'a Apron.Abstract0.t -> Pplite.loose Pplite.t Apron.Abstract0.t
      val to_pplite_strict :
        'a Apron.Abstract0.t -> Pplite.strict Pplite.t Apron.Abstract0.t
    end
  module Abstract1 :
    sig
      val is_pplite : 'a Apron.Abstract1.t -> bool
      val is_pplite_loose : 'a Apron.Abstract1.t -> bool
      val is_pplite_strict : 'a Apron.Abstract1.t -> bool
      val of_pplite : 'a Pplite.t Apron.Abstract1.t -> 'b Apron.Abstract1.t
      val of_pplite_loose :
        Pplite.loose Pplite.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val of_pplite_strict :
        Pplite.strict Pplite.t Apron.Abstract1.t -> 'a Apron.Abstract1.t
      val to_pplite : 'a Apron.Abstract1.t -> 'b Pplite.t Apron.Abstract1.t
      val to_pplite_loose :
        'a Apron.Abstract1.t -> Pplite.loose Pplite.t Apron.Abstract1.t
      val to_pplite_strict :
        'a Apron.Abstract1.t -> Pplite.strict Pplite.t Apron.Abstract1.t
    end
end