Module `QuantifierEncoding.SmartEnumeration`

Parameters

module L : Location_sig.LOCATIONS

Signature

module Locations = L

Input model of Make functor.

val name : string

val rewrite : Locations.t -> SMT.t -> SMT.t