package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Spectec.Make_parametric`Source

module Runner : Run.RUNNER

module Interface_SpecTec : INTERFACE_SPECTEC

Sourcemodule Cache : Dynamic_runner.Signature.CACHE

val eval_extern_rel : 
  string ->
  Value.t list ->
  Dynamic_runner.Signature.rel_result

val eval_extern_func : 
  string ->
  Type.Typ.t list ->
  Value.t list ->
  Dynamic_runner.Signature.func_result

Sourceval checkpoint : unit -> int

Sourceval seff : int -> int -> bool

Sourceval clear : unit -> unit

Sourceval init_mode : Dynamic_runner.Signature.mode -> unit