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.