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