package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Instr.Multi`Source

Sourcemodule Node : sig ... end

Sourcemodule Cover : sig ... end

Sourcetype t = Cover.t

Sourceval is_hit : t -> Lang.Sl.iid -> bool

Sourceval measure_coverage : t -> int * int * float

Sourceval extend : t -> string -> Single.t -> t

Sourceval init : Lang.Sl.spec -> t