QuantifierEncoding (astral.Astral_internal.QuantifierEncoding)

module Direct
  (L : Location_sig.LOCATIONS) : 
  Translation_sig.QUANTIFIER_ENCODING with module Locations = L

module Path
  (L : Location_sig.LOCATIONS) : 
  Translation_sig.QUANTIFIER_ENCODING with module Locations = L

module Enumeration
  (L : Location_sig.LOCATIONS) : 
  Translation_sig.QUANTIFIER_ENCODING with module Locations = L

module SmartEnumeration
  (L : Location_sig.LOCATIONS) : 
  Translation_sig.QUANTIFIER_ENCODING with module Locations = L