Smtml.Interpret
module Make (Solver : Solver_intf.S) : Interpret_intf.S with type solver = Solver.t and type exec_state = Solver.t Interpret_intf.state
Functor for creating a solver execution module