module Smt: sig .. end
sig
end
A module corresponding to the SMT solver selected by the command line options
include Smt_sig.S