module Smt_sig: sig .. end
sig
end
A signature for itegrating SMT solvers in Cubicle
module type S = sig .. end