Up – Package index » Smtml » Library smtml » Smtml » Interpret

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