package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Inst.Coverage_dangling`Source

module DCov = Coverage.Dangling.Single

module Value = Runtime.Value

Sourceval make : unit -> (module Handler.HANDLER) * (unit -> DCov.t)