package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Instr.Single`Source

Sourcemodule Node : sig ... end

Sourcemodule Cover : sig ... end

Sourcetype t = Cover.t

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

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

Sourceval hit : t -> Lang.Sl.iid -> t

Sourceval extend : t -> t -> t

Sourceval init : Lang.Sl.spec -> t

Sourceval empty : t