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_with_Structure
module Store: Abstract_domain.Store  with type state := state