package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameter `Make_rec.MakeInterp_PL`

module Interface : Runtime.Dynamic_Runner.Signature.INTERFACE

module Extern : Runtime.Dynamic_Runner.Signature.EXTERN

include Dynamic_runner.Signature.INTERP

module Cache : Dynamic_runner.Signature.CACHE

val eval_program : 
  string ->
  string list ->
  string ->
  Dynamic_runner.Signature.program_result

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

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

val clear : unit -> unit

val init : cache:bool -> det:bool -> guard:bool -> Lang.Pl.spec -> unit