Module `Smtml.Interpret`Source

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