Module Pplite.Abstract1

module Abstract1: sig .. end

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

Return true iff the argument manager is a PPLite value

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

Make a PPLite value generic

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

Instantiate the type of a PPLite value. Raises Failure if the argument manager is not a PPLite manager