package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Interpret_intf.IntfSource

Interpreter functor interface

module Make (Solver : Solver_intf.S) : S with type solver = Solver.t and type exec_state = Solver.t state

Functor for creating a solver execution module