package smtml

You can search for identifiers within the package.

in-package search v0.2.0

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