E.QuantifierEncoding
module Locations = Locations
Input model of Make functor.
val name : string
val rewrite : Locations.t -> SMT.t -> SMT.t