package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Inst.Value_dependency`Source

module Value = Runtime.Value

module Dep = Runtime.Testgen_neg.Dep

val make_deriving : 
  cache_on:(unit -> unit) ->
  cache_off:(unit -> unit) ->
  (module Handler.HANDLER) * (unit -> Dep.Graph.t)

val make_non_deriving : 
  unit ->
  (module Handler.HANDLER) * (unit -> Dep.Graph.t)

val make : 
  derive:bool ->
  cache_on:(unit -> unit) ->
  cache_off:(unit -> unit) ->
  (module Handler.HANDLER) * (unit -> Dep.Graph.t)