package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Spectec.Make_null`Source

module Interface_SpecTec : INTERFACE_SPECTEC

module Interp_AL : Run.INTERP_AL

module Interp_SL : Run.INTERP_SL

module Interp_PL : Run.INTERP_PL

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