Module Apron_domain.Polka_Loose

module Polka_Loose: S 
Loose polyhedra of the NewPolka library. Cannot have strict inequality constraints. Algorithmically more efficient.

include Abstract_domain.S
val structure : t Abstract_domain.structure
A structure matching the type of the domain.